TY  - RPRT
TI  - Equivalence of finite-valued streaming string transducers is decidable
AU  - Anca Muscholl
AU  - Gabriele Puppis
PY  - 2019
UR  - https://arxiv.org/abs/1902.06973
ID  - 1902.06973
ER  -