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