MSO definable string transductions and two-way finite-state transducers (0)

by J Engelfriet, H Hoogeboom
Venue:ACM Trans. Comput. Log