"Handbook of logic in artificial intelligence and logic programming (1993-1998)" - читать интересную книгу автора (Dov M. Gabbay, C. J. Hogger, J. A. Robinson)