Minimization of symbolic automata.

Loris D'Antoni, Margus Veanes

Browse the full POPL paper archive.