Some decision problems concerning sequential transducers and checking automata
scientific article; zbMATH DE number 3628393