TY  - RPRT
TI  - The Tree Width of Separation Logic with Recursive Definitions
AU  - Radu Iosif
AU  - Adam Rogalewicz
AU  - Jiri Simacek
PY  - 2013
UR  - https://arxiv.org/abs/1301.5139
ID  - 1301.5139
ER  -