TY  - RPRT
TI  - Automatic Reasoning on Recursive Data-Structures with Sharing
AU  - Duc-Hiep Chu
AU  - Joxan Jaffar
PY  - 2017
UR  - https://arxiv.org/abs/1511.07267
ID  - 1511.07267
ER  -