A Synthesis on Partition Refinement: A Useful Routine for Strings, Graphs, Boolean Matrices and Automata.

Michel Habib, Christophe Paul, Laurent Viennot

Browse the full STACS paper archive.