Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski. On the equivalence of the static and disjunctive well-founded semantics and its computation. Theoretical Computer Science, 258(1-2):523-553, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.