Didier Galmiche

• Automated Reasoning
• Automated Reasoning with Analytic Tableaux and Related Methods