A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.

Stefan Brass, Jrgen Dix, Ilkka Niemel, Teodor C. Przymusinski

Browse the full KR paper archive.