Automated reasoning with analytic tableaux and related methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, july 4-8, 2011. Proceedings (2011)