Cyclic Proofs for First-Order Logic with Inductive Definitions.

James Brotherston Cyclic Proofs for First-Order Logic with Inductive Definitions. 78-92 2005 conf/tableaux/2005 TABLEAUX http://dx.doi.org/10.1007/11554554_8 db/conf/tableaux/tableaux2005.html#Brotherston05