Constructive negation by bottom-up computation of literal answers | Publicación