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