Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Bernhard Gramlich, Dale Miller, Uli Sattler ((Lecture Notes in Computer Science))