A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
scientific article; zbMATH DE number 6960112
scientific article