Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Edmund M. Clarke, Andrei Voronkov ((Lecture Notes in Computer Science))