Well-founded semantics coincides with three-valued stable semantics. (1990)

by T Przymusinski
Venue:Fundamenta Informaticae,