Handbook of logic in artificial intelligence and logic programming v 1 : logical foundations - Gabbay D M; Hogger C J eds (Oxford Clarendon Press, 1993)
Logical Foundations
Keywords: Artificial intelligence; Logic Programming