On the Properties of Atom Definability and Well-Supportedness in Logic Programming | Publicación