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