Syntactic composition of top-down tree transducers is short cut fusion (0)

by C Jürgensen, H Vogler
Venue:Math. Structures Comput. Sci