Learning definite Horn formulas from closure queries | Publicación