@misc{indiciae16910a656f4f,
  title = {Scope Logic with Local Reasoning and Pre/Post-State Properties},
  author = {Jianhua Zhao and Xuandong Li},
  year = {2010},
  url = {https://arxiv.org/abs/1012.2553},
  note = {Source identifier: 1012.2553}
}