Learnability of Quantified Formulas | Publicación