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