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