"Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings " - читать интересную книгу автора (V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski)