LOGIC PROGRAMMING AND NON-MONOTONIC REASONING: Proceedings of the Second International Workshop - PEREIRA L.M. (ED.) (LONDON : MIT, 1993)
Keywords: LOGIC PROGRAMMING : REASONING