Automated Reasoning with Analytic Tableaux and Related MethodsUwe Egly, Christian G. Fernmüller₹5,672
