Nachum Dershowitz Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings LPAR Lecture Notes in Computer Science 4790 Springer 2007 978-3-540-75558-6 db/conf/lpar/lpar2007.html