"Better Hyper-minimization - Not as Fast, But Fewer Errors."

Andreas Maletti (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics