From Monadic Second-Order Definable String Transformations to Transducers.

Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi

Browse the full LICS paper archive.