Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings (2013)