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

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

AUTHORS: