"Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings " - читать интересную книгу автора (Michel Parigot, Andrei Voronkov)