Stefan Brass Jürgen Dix Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. 143-165 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#BrassD98