TY  - BOOK
AU  - Apt, K. R.
AU  - Bakker, J. W.
TI  - Logic programming languages: constraints, functions, and ,,,,
U1  -  005.131 
PY  - 1993///
CY  - London,UK
PB  - The MIT Press
KW  - Logic programming languages
ER  -