Graph theoretical structures in logic programs and default theories | Publicación