TY  - BOOK
AU  - Comon, Hubert
AU  - Marche, Claude
AU  - Treinen, Ralf
TI  - Constraints in computational logics: theory and applications
SN  - 3540419500
CY  - Berlin, New York
KW  - Constraint programming (Computer science)
KW  - Logic programming
ER  -