Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Matthias Baaz, Andrei Voronkov ((Lecture Notes in Computer Science))