Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings - Bjørner, Nikolaj; Voronkov, Andrei (Springer Berlin Heidelberg, 2012)