Unifying Decidable Entailments in Separation Logic with Inductive Definitions.

Mnacho Echenim, Radu Iosif, Nicolas Peltier

Browse the full CADE paper archive.