Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings / - Nieuwenhuis, Robert.; Voronkov, Andrei, (Springer,)