Neil V. Murray

Automated Reasoning with Analytic Tableaux and Related Methods