@INPROCEEDINGS{bmpp18,
  author = {S. Bose and A. Muscholl and V. Penelle and G. Puppis},
  title = {Origin-equivalence of two-way word transducers is in PSPACE},
  booktitle = {Proceedings of the 38th {IARCS} Conference on 
               Foundations of Software Technology and 
               Theoretical Computer Science (FSTTCS)},
  year = {2018},
  volume = {122},
  pages = {22:1--22:18},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}