Synthesis of positive logic programs for checking a class of definitions with infinite quantification | Publicación