The complexity of equivalence, entailment, and minimization in existential positive logic | Publicación