Automated Reasoning with Analytic Tableaux and Related Methods - Schmidt (Springer International Publishing, 2017)