CIRC : A Circular Coinductive Prover.

Dorel Lucanu, Grigore Rosu

Browse the full CALCO paper archive.