Buy Automated Reasoning With Analytic Tableaux And Related Methods: 22Nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Proceedings