Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings - Nikolaj Bjorne, editor ([, Springer-Verlag], 2012)