Automated Reasoning with Analytic Tableaux and Related Methods - Cerrito (Springer International Publishing, 2019)