On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation

Reference:

Stefan Brass, Jürgen Dix, Ilkka Niemelä, and T.C. Przymusinski. On the equivalence of the static and disjunctive well-founded semantics and its computation. Theoretical Computer Science, 258(1–2):523–553, May 2001.

Suggested BibTeX entry:

@article{BDNP01:tcs,
    author = {Stefan Brass and J{\"u}rgen Dix and Ilkka Niemel{\"a} and T.C. Przymusinski},
    journal = {Theoretical Computer Science},
    month = {May},
    number = {1--2},
    pages = {523--553},
    title = {On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation},
    volume = {258},
    year = {2001},
}