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

Cached

Download Links

by James Brotherston
Venue:In TABLEAUX’05, volume 3702 of LNCS
Citations:13 - 5 self