TY  - BOOK
AU  - Gusgen, Hans Werner
TI  - Consat: A system for constraint satisfaction
SN  - 0273088130
U1  - 004.6 
PY  - 1989///
CY  - London
PB  - Pitman
KW  - Computer Science
N1  - Includes index
ER  -