@misc{indiciae7c49dc425a29,
  title = {Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability},
  author = {Joerg Endrullis},
  year = {2010},
  url = {https://arxiv.org/abs/1003.1057},
  note = {Source identifier: 1003.1057}
}