The complexity of equivalence, entailment, and minimization in existential positive logic
scientific article; zbMATH DE number 6372037