MSO definable string transductions and two-way finite-state transducers
@article{ENHO01, address = {New York, NY, USA}, author = {Engelfriet, Joost and Hoogeboom, Hendrik Jan}, doi = {10.1145/371316.371512}, issn = {1529-3785}, issue_date = {April 2001}, journal = {ACM Trans. Comput. Logic}, month = {apr}, number = {2}, numpages = {39}, pages = {216–254}, publisher = {Association for Computing Machinery}, sha256 = {1A086F3723716994129E0A4573EB4EC451B14866E24CB468A49E012684750867}, title = {MSO definable string transductions and two-way finite-state transducers}, url = {https://doi.org/10.1145/371316.371512}, volume = {2}, year = {2001} }