Automated Reasoning with Analytic Tableaux and Related Methods - Anupam Das, Sara Negri (Springer, 2021)