Disjunctive \(LP+\) integrity constraints = stable model semantics.
scientific article; zbMATH DE number 1005804