A Goal-Oriented Approach to Computing the Well-Founded Semantics.

Weidong Chen David Scott Warren A Goal-Oriented Approach to Computing the Well-Founded Semantics. 279-300 1993 17 J. Log. Program. 2/3&4 db/journals/jlp/jlp17.html#ChenW93