Cyclic proofs for first-order logic with inductive definitions (2005)

by James Brotherston
Venue:Automated Reasoning with Analytic Tableaux and Related Methods: Proceedings of TABLEAUX 2005, volume 3702 of LNAI