A note on partially ordered tree automata
scientific article; zbMATH DE number 5719190