Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings - Larchey-Wendling, Dominique; Galmiche, Didier (Lecture Notes in Computer Science, 2013)