Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.

Jens Katelaan, Florian Zuleger

Browse the full LPAR paper archive.