Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.

Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura

Browse the full APLAS paper archive.