Construction and learnability of canonical Horn formulas | Publicación