@misc{indiciaed6baf5051a62,
  title = {A Safety and Liveness Theory for Total Reversibility (Extended Abstract)},
  author = {Claudio Antares Mezzina and Vasileios Koutavas},
  year = {2016},
  url = {https://arxiv.org/abs/1604.05555},
  note = {Source identifier: 1604.05555}
}