"Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... Computer Science and General Issues)" - читать интересную книгу автора (Christian G. Fermüller, Andrei Voronkov)