A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation (1998)
Brass S. , Dix J. , Niemelä Ilkka , Przymusinski T.C.