"Qizhen Zhu,,Yasuhiko Minamide,Hitoshi Akama","Solving String Constraints with Streaming String Transducers",,"Journal of Information Processing",,"  27",,,2019,Oct.