"Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings" - читать интересную книгу автора (Harald Ganzinger, David McAllester, Andrei Voronkov)