Negation as failure: careful closure procedure
scientific article; zbMATH DE number 4035218