Automated Reasoning with Analytic Tableaux and Related Methods - De Nivelle (Springer International Publishing, 2015)