Resolution for logic programming with universal quantifiers | Publicación