Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Bjørner, Nikolaj. (Springer Berlin Heidelberg : Imprint: Springer, 2012)