TY - BOOK AU - Lassez, Jean-Louis., ed TI - Logic programming - proceedings of the 4th international conference -v.2 SN - 0262121255 U1 - 005.115 PY - 1987/// CY - Cambridge PB - MIT ER -