Advanced automata minimization.

Richard Mayr, Lorenzo Clemente

Browse the full POPL paper archive.