@misc{indiciaeacd69088484a,
  title = {Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language},
  author = {Olivier Finkel},
  year = {2011},
  doi = {10.1142/s0129054112400606},
  url = {https://arxiv.org/abs/1107.5886},
  note = {Source identifier: 1107.5886}
}