Reasoning with constraint diagrams (2004)

by G Stapleton
Venue:School of Computing, Mathematical and Information Sciences