Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Baaz, Matthias; Baaz, Matthias; Voronkov, Andrei; Voronkov, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2002)