On the relations between stable and well-founded semantics of logic programs’, Theoretical Computer science 105 (1992)

by P M Dung