Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
scientific article; zbMATH DE number 7340920
scientific article