@misc{indiciae062ffae2fce3,
  title = {The predecessor-existence problem for k-reversible processes},
  author = {Leonardo I. L. Oliveira and Valmir C. Barbosa and Fábio Protti},
  year = {2013},
  doi = {10.1016/j.tcs.2014.10.018},
  url = {https://arxiv.org/abs/1307.7259},
  note = {Source identifier: 1307.7259}
}