TY - BOOK AU - Lassez, Jean-Louis TI - Logic Programming : Proceedings of the Fourth International Conference SN - 0262121255 U1 - 005.131 LAS PY - 1987/// PB - The MIT Press ER -