Handbook of logic in artificial intelligence and logic programming - Cabbay, Dov. M.; Hogger, C. J.; Robinson, J. A. (Handbook of logic in computer science and artificial intelligence and logic programming., 1993)