Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers - Voronkov, Andrei; Clarke, Edmund M. (Lecture Notes in Computer Science,, 2010)