@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,
}