Iliano Cervesato Helmut Veith Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings 5330 2008 978-3-540-89438-4 LPAR Lecture Notes in Computer Science Springer db/conf/lpar/lpar2008.html