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