"Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings " - читать интересную книгу автора (Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi)