Didier Galmiche

Didier Galmiche is the author of books such as Automated Reasoning With Analytic Tableaux and Related Methods.