Disjunctive logic and semantics of disjunctive logic programs
scientific article; zbMATH DE number 1066824