de Souza, R.
2020 Jun 30.  On the decomposition of a finite-valued two-way transducer. Proceedings of  the Theory of Computation Meeting (ETC). [Online] :