Attributed tree transducers cannot induce all deterministic bottom-up tree transformations
scientific article; zbMATH DE number 758664