Efficient top-down computation of queries under the well-founded semantics (1995)

by W CHEN, T SWIFT, D WARREN
Venue:Journal of Logic Programming