Serban, C.; Iosif, R. An Entailment Checker for Separation Logic With Inductive Definitions. ECEASST 2019, 76.