Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings - Gramlich, Bernhard; Miller, Dale; Sattler, Uli (Springer Berlin Heidelberg, 2012)