Logic for programming, artificial intelligence, and reasoning : 13th International Conference, LPAR 2006 : Phnom Penh, Cambodia, November 13-17, 2006 : proceedings - Voronkov, Andrei, 1959-; Hermann, Miki, 1958- (Lecture notes in computer science, 2006)