@misc{indiciaeea97d223edae,
  title = {PrideMM: A Solver for Relaxed Memory Models},
  author = {Simon Cooksey and Sarah Harris and Mark Batty and Radu Grigore and Mikoláš Janota},
  year = {2018},
  url = {https://arxiv.org/abs/1901.00428},
  note = {Source identifier: 1901.00428}
}