Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings - Voronkov, Andrei, 1959-; Baaz, Matthias, 1960- (Lecture notes in computer science, 2002)