TY  - BOOK
ED  - International Conference on Logic Programming
TI  - Logic programming: proceedings of the fourth international conference 
AV  - QA76.6 L589
PY  - 1987///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Logic programming
KW  - Congresses
N1  - Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987
ER  -