Michel Parigot Andrei Voronkov Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings LPAR Lecture Notes in Computer Science 1955 Springer 2000 db/conf/lpar/lpar2000.html