D.S.: A goal-oriented approach to computing the well-founded semantics (1993)

by W Chen, Warren
Venue:J. Log. Program