Publication

Existential Heap Abstraction Entailment is Undecidable