A Generalized Partition Refinement Algorithm, Instantiated to ...

Reference

Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, 22(4), 2018.

Suggested BibTeX entry:

@article{KK,
    author = {Barbara K{\"o}nig and Sebastian K{\"u}pper},
    journal = {Soft Computing},
    number = {4},
    title = {A Generalized Partition Refinement Algorithm, Instantiated to Language Equivalence Checking for Weighted Automata},
    volume = {22},
    year = {2018}
}

See link.springer.com ...