Deciding Boolean Separation Logic via Small Models.

Toms Dack, Adam Rogalewicz, Toms Vojnar, Florian Zuleger

Browse the full TACAS paper archive.