A Complete Cyclic Proof System for Inductive Entailments in First Order Logic.

Radu Iosif, Cristina Serban

Browse the full LPAR paper archive.