@misc{indiciaed556c1778f44,
  title = {On First-order Cons-free Term Rewriting and PTIME},
  author = {Cynthia Kop},
  year = {2017},
  url = {https://arxiv.org/abs/1711.03399},
  note = {Source identifier: 1711.03399}
}