@misc{indiciaeadc410c1dc79,
  title = {An Efficient Binary Technique for Trace Simplifications of Concurrent Programs},
  author = {Mohamed A. El-Zawawy and Mohammad N. Alanazi},
  year = {2014},
  url = {https://arxiv.org/abs/1405.4399},
  note = {Source identifier: 1405.4399}
}