Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / - Baaz, Matthias.; Voronkov, Andrei, (Springer,)