@inproceedings{dblp-conf-lics-alurft12,
  title = {Regular Transformations of Infinite Strings},
  author = {Rajeev Alur and Emmanuel Filiot and Ashutosh Trivedi},
  year = {2012},
  url = {https://dblp.org/rec/conf/lics/AlurFT12},
  booktitle = {LICS 2012}
}