Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings - Voronkov, Andrei; Dershowitz, Nachum (Lecture Notes in Computer Science,, 2007)