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

by J Brotherston
Venue:In: TABLEAUX-14. LNAI 3702