TY  - BOOK
AU  - 32
TI  - CONSTRAINT SATISFACTION IN LOGIC PROGRAMMING
SN  - 0262081814
ER  -