@ARTICLE{bgmp18,
  author = {F. Baschenis and O. Gauwin and A. Muscholl and G. Puppis},
  title = {One-way definability of two-way word transducers},
  journal = {Logical Methods in Computer Science},
  volume = {https://arxiv.org/pdf/1706.01668.pdf},
  year = {2018}
}