Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings - Nieuwenhuis, Robert; Nieuwenhuis, Robert; Voronkov, Andrei; Voronkov, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2001)