[FoSSaCS’23] An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.

Published in The 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Research Track, 2023