Pagel, Matheja, Zuleger, 2021. A Decision Procedure for Guarded Separation Logic: Complete Entailment Checking for Separation Logic with Inductive Definitions.