TY - BOOK AU - Bowen, Kenneth A(ed. AU - Kowalski, Robert A(ed. TI - Logic programming : : proceedings of the fifth international conference and symposium SN - 0262610566 U1 - 001.535 PY - 1988/// CY - Cambridge PB - MIT Press KW - Computer Science KW - Logic programming N1 - Includes references ER -