DPDA's in 'Atomic normal form' and applications to equivalence problems
scientific article; zbMATH DE number 3744552