@Inproceedings{EPTCS289.1,
  author    = {Buruian\u{a}, Andrei-Sebastian and Ciob\^ac\u{a}, \c{S}tefan},
  year      = {2019},
  title     = {Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics},
  editor    = {Niehren, Joachim and Sabel, David},
  booktitle = {{\rm Proceedings Fifth International Workshop on}
               Rewriting Techniques for Program Transformations and Evaluation,
               {\rm Oxford, England, 8th July 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {289},
  publisher = {Open Publishing Association},
  pages     = {1-16},
  doi       = {10.4204/EPTCS.289.1},
}