"Completeness of Cyclic Proofs for Symbolic Heaps."

Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics