@misc{indiciaeed5a4a4f44ff,
  title = {Operationally-based Program Equivalence Proofs using LCTRSs},
  author = {Ştefan Ciobâcă and Dorel Lucanu and Andrei Sebastian Buruiană},
  year = {2020},
  url = {https://arxiv.org/abs/2001.09649},
  note = {Source identifier: 2001.09649}
}