Handbook of logic in artificial intelligence and logic programming. - Gabbay, Dov M., 1945-; Hogger, Christopher John; Robinson, J. A. (Handbooks of logic in computer science, 1994)