A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. - MATHEJA, CHRISTOPH; PAGEL, JENS; ZULEGER, FLORIAN (ACM Transactions on Computational Logic, 2023)