Test sets for the universal and existential closure of regular tree languages.
scientific article; zbMATH DE number 1964175
scientific article