A comparison of tree transductions defined by monadic second order logic and by attribute grammars
scientific article; zbMATH DE number 1515681
scientific article