New bounds for the query complexity of an algorithm that learns DFAs with correction and equivalence queries | Publicación