TY - BOOK AU - Lassez, Jean-Louis TI - Logic Programming : Proceedings of the Fourth International Conference SN - 0262121255 CY - Bangalore PB - MIT Press ER -