@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
}