@misc{indiciaed357e44d2042,
  title = {Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic},
  author = {Youngju Song and Minki Cho and Dongjae Lee and Chung-Kil Hur},
  year = {2021},
  url = {https://arxiv.org/abs/2109.02991},
  note = {Source identifier: 2109.02991}
}