Equivalence problem of non-deterministic finite automata
Equivalence Problem of Nondeterministic Finite Automata
scientific article; zbMATH DE number 3622947