Logic Programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings - Voronkov, Andrei, 1959-; Nieuwenhuis, Robert (Lecture notes in computer science, 2001)