C. Serban and R. Iosif, “An Entailment Checker for Separation Logic with Inductive Definitions”, eceasst, vol. 76, May 2019.