TY  - BOOK
AU  - Apt K R
AU  - Rutten J J M M
TI  - Logic programming languages : constraints, functions and objects
SN  - 0-262-01134-4
U1  - 005.131 
PY  - 1993///
CY  - Cambridge
PB  - M I T Press
KW  - Logic programming
KW  - Programming language
ER  -