Axiomatizing the equational theory of regular tree languages
scientific article; zbMATH DE number 5666089
scientific article