Thomas Colcombet, Christof Löding. On the Expressiveness of Deterministic Transducers over Infinite Trees. In Volker Diekert, Michel Habib, editors, STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Volume 2996 of Lecture Notes in Computer Science, pages 428-439, Springer, 2004. [doi]
Abstract is missing.