TY  - RPRT
TI  - Completeness of Cyclic Proofs for Symbolic Heaps
AU  - Makoto Tatsuta
AU  - Koji Nakazawa
AU  - Daisuke Kimura
PY  - 2018
UR  - https://arxiv.org/abs/1804.03938
ID  - 1804.03938
ER  -