A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. - Xincai Gu; Taolue Chen 001; Zhilin Wu (IJCAR, 2016)