Effective Entailment Checking for Separation Logic with Inductive Definitions.

Jens Katelaan, Christoph Matheja, Florian Zuleger

Browse the full TACAS paper archive.