Determinacy and rewriting of functional top-down and MSO tree transformations
scientific article; zbMATH DE number 6668746
scientific article