An efficient propositional system for Abductive Logic Programming | Publicación