@inproceedings{dblp-conf-lics-alurdt13,
  title = {From Monadic Second-Order Definable String Transformations to Transducers},
  author = {Rajeev Alur and Antoine Durand-Gasselin and Ashutosh Trivedi},
  year = {2013},
  url = {https://dblp.org/rec/conf/lics/AlurDT13},
  booktitle = {LICS 2013}
}