@article{CTT100817458,
  author = {Qizhen Zhu, and Yasuhiko Minamide and Hitoshi Akama},
  title = {Solving String Constraints with Streaming String Transducers},
  journal = {Journal of Information Processing},
  year = 2019,
}

@inproceedings{CTT100779986,
  author = {赤間仁志 and 南出靖彦},
  title = {Streaming String Transducerの合成の形式的証明},
  booktitle = {},
  year = 2018,
}