Multitree automata that count
scientific article; zbMATH DE number 2153211
scientific article