Handbook of logic in artificial intelligence and logic programming - Gabbay, Dov M. 1945-; Hogger, Christopher John; Robinson, J.A. (John Alan) (Clarendon Press, 1993)