@INPROCEEDINGS{fjlmpw24,
  author = {E. Filiot and I. Jecker and C. Löding and A. Muscholl and G. Puppis and S. Winter},
  title = {Finite-valued Streaming String Transducers},
  booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS)},
  year = {2024},
  publisher = {ACM},
}