Resetting words for decidable automata
scientific article; zbMATH DE number 830665