A nondeterministic well-founded semantics
scientific article; zbMATH DE number 937235
scientific article