Serban, C. and Iosif, R. (2019) “An Entailment Checker for Separation Logic with Inductive Definitions”, Electronic Communications of the EASST, 76. doi: 10.14279/tuj.eceasst.76.1073.