Serban, Cristina, and Radu Iosif. 2019. “An Entailment Checker for Separation Logic With Inductive Definitions”. Electronic Communications of the EASST 76 (May). https://doi.org/10.14279/tuj.eceasst.76.1073.