Automated Reasoning with Analytic Tableaux and Related Methods - Ramanayake, Revantha; Urban, Josef (Springer Nature Switzerland, 2023)