@InProceedings{Le-cav:17, author = "Quang Loc Le and Makoto Tatsuta and Jun Sun and Wei-Ngan Chin", title = "A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic", note = "CAV", year = 2017 }