@misc{indiciaeacbcea5dcac1,
  title = {Reasoning About TSO Programs Using Reduction and Abstraction},
  author = {Ahmed Bouajjani and Constantin Enea and Suha Orhun Mutluergil and Serdar Tasiran},
  year = {2018},
  url = {https://arxiv.org/abs/1804.05196},
  note = {Source identifier: 1804.05196}
}