Deciding word neighborhood with universal neighborhood automata
scientific article; zbMATH DE number 5886215