Automated Reasoning with Analytic Tableaux and Related MethodsMartin Giese, Arild Waaler · First published 2009Open the Tome
