Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity

From MaRDI portal