Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings - Michel Parigot, Andrei Voronkov ((Lecture Notes in Computer Science))