Pgeon: Generating Tableau-Based Provers from Declarative Specifications of Logical Calculi.

Romain Sidhoum, Simon Robillard, David Delahaye

Browse the full IJCAR paper archive.