@INPROCEEDINGS{mp19,
  author = {A. Muscholl and G. Puppis},
  title = {Equivalence of finite-valued streaming string transducers is decidable},
  booktitle = {Proceedings of the 46th International Colloquium on Automata, Languages and Programming (ICALP)},
  year = {2019},
  pages = {121:1-121:14},
  volume = {132},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}