Deterministic bottom-up tree transducers and ground term rewrite systems
scientific article; zbMATH DE number 5559006