Automated Reasoning with Analytic Tableaux and Related Methods by Niel V. Murray & Neal V. Murry