@inproceedings{dblp-conf-fsttcs-davekt16,
  title = {FO-Definable Transformations of Infinite Strings},
  author = {Vrunda Dave and Shankara Narayanan Krishna and Ashutosh Trivedi},
  year = {2016},
  url = {https://dblp.org/rec/conf/fsttcs/DaveKT16},
  booktitle = {FSTTCS 2016}
}