The Tree Width of Separation Logic with Recursive Definitions.

Radu Iosif, Adam Rogalewicz, Jir Simcek

Browse the full CADE paper archive.