A sufficient condition to polynomially compute a minimum separating DFA | Publicación