Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / - Brünnler, Kai.; Metcalfe, George. (Springer,)