TY - BOOK AU - PEREIRA L.M. (ED.) TI - LOGIC PROGRAMMING AND NON-MONOTONIC REASONING: Proceedings of the Second International Workshop SN - 0000262660830 U1 - 005.115 PB - LONDON : MIT KW - LOGIC PROGRAMMING : REASONING ER -