Learning DFA from Correction and Equivalence Queries | Publicación