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

by
James Brotherston

Venue: | In TABLEAUX’05, volume 3702 of LNCS |

Citations: | 13 - 5 self |