@misc{indiciae93c9f3a05953,
  title = {Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting},
  author = {Joerg Endrullis and Clemens Grabmayer and Dimitri Hendriks and Jan Willem Klop},
  year = {2009},
  url = {https://arxiv.org/abs/0911.1009},
  note = {Source identifier: 0911.1009}
}