@inproceedings{dblp-conf-fsttcs-filiotkt14,
  title = {First-order Definable String Transformations},
  author = {Emmanuel Filiot and Shankara Narayanan Krishna and Ashutosh Trivedi},
  year = {2014},
  url = {https://dblp.org/rec/conf/fsttcs/FiliotKT14},
  booktitle = {FSTTCS 2014}
}