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