@misc{indiciae10d3450eaa12,
  title = {It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton},
  author = {Mikołaj Bojańczyk},
  year = {2017},
  url = {https://arxiv.org/abs/1703.04997},
  note = {Source identifier: 1703.04997}
}