Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings - Robert Nieuwenhuis, Andrei Voronkov ((Lecture Notes in Computer Science))