@InProceedings{Makoto-aplas:16,
  author    = "Makoto Tatsuta and Quang Loc Le and Wei-Ngan Chin",
  title     = "Decision Procedure for Separation Logic with Inductive Predicates and Presburger Arithmetic",
  note      = "APLAS",
  year      = 2016
}