Automated Reasoning with Analytic Tableaux and Related Methods 2 contributors - Paperback £44.99 Find out more