Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / - Fermüller, C.; Voronkov, Andrei, (Springer,)