Solving String Constraints with Streaming String Transducers. - Qizhen Zhu; Hitoshi Akama; Yasuhiko Minamide (J. Inf. Process., 2019)