Negation by default and unstratifiable logic programs
scientific article; zbMATH DE number 4180828
scientific article