Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings - Baader, Franz; Voronkov, A. (Andreĭ), 1959- (Springer, 2005)