@inproceedings{IRS13b,
title = {The Tree Width of Separation Logic with Recursive Definitions },
author = {Iosif, Radu and Rogalewicz, Adam and Sim{\'a}cek, Jir\'{\i}},
year = {2013},
booktitle = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
pages = {21-38},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7898},
team = {DCS,PACSS},
}