Stable and extension class theory for logic programs and default logics
logic programs with inconsistent completions
scientific article; zbMATH DE number 91485
scientific article