Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings - Parigot, Michel; Parigot, Michel; Voronkov, Andrei; Voronkov, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2000)