A sound and complete semantics for a version of negation as failure
scientific article; zbMATH DE number 4117897
scientific article