Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3 - 7, 2001 ; proceedings (Springer, 2001)
Literaturangaben