Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Nachum Dershowitz, Andrei Voronkov ((Lecture Notes in Computer Science))