@misc{indiciae551d62c0c2c4,
  title = {Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"},
  author = {Adrien Boiret and Radosław Piórkowski and Janusz Schmude},
  year = {2019},
  doi = {10.4230/lipics.fsttcs.2018.48},
  url = {https://arxiv.org/abs/1806.04361},
  note = {Source identifier: 1806.04361}
}