Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002 ; proceedings (Springer, 2002)
Literaturangaben