Efficient computation of queries under the well-founded semantics (1993)

by D S Warren W Chen, T Swift