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