A syntactic congruence for languages of birooted trees
scientific article; zbMATH DE number 6537651
scientific article