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