Learning Definite Horn Formulas from Closure Queries | Publicación