@misc{indiciae5b636b3fb309,
  title = {Memory Consistency Models using Constraints},
  author = {Ruth Hoffmann and Özgür Akgün and Susmit Sarkar},
  year = {2018},
  url = {https://arxiv.org/abs/1808.09870},
  note = {Source identifier: 1808.09870}
}