Roy Dyckhoff

Automated Reasoning with Analytic Tableaux and Related Methods

Extensions of Logic Programming