@misc{indiciae9d8afc4bc066,
  title = {Proof search for propositional abstract separation logics via labelled sequents},
  author = {Zhe Hou and Ranald Clouston and Rajeev Gore and Alwen Tiu},
  year = {2013},
  url = {https://arxiv.org/abs/1307.5592},
  note = {Source identifier: 1307.5592}
}