Hans De Nivelle

• Automated Reasoning with Analytic Tableaux and Related Methods