The time complexity of typechecking tree-walking tree transducers
scientific article; zbMATH DE number 5547499
scientific article