On the complexity of entailment in existential conjunctive first-order logic with atomic negation
scientific article; zbMATH DE number 6092756