@misc{indiciaeedfab3e4096e,
  title = {Church Synthesis on Register Automata over Linearly Ordered Data Domains},
  author = {Léo Exibard and Emmanuel Filiot and Ayrat Khalimov},
  year = {2023},
  doi = {10.4230/lipics.stacs.2021.54},
  url = {https://arxiv.org/abs/2004.12141},
  note = {Source identifier: 2004.12141}
}