Automated Reasoning with Analytic Tableaux and Related Methods by Dominik C. Weishaupt & U. Egly