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