Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings - Iliano Cervesato, Helmut Veith, Andrei Voronkov ((Lecture Notes in Computer Science))