@INPROCEEDINGS{bgmp17,
  author = {F. Baschenis and O. Gauwin and A. Muscholl and G. Puppis},
  title = {Untwisting two-way transducers in elementary time},
  booktitle = {Proceedings of the 32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS)},
  pages = {1-12},
  year = {2017},
  publisher = {IEEE Computer Society},
}