A Goal-Oriented Approach to Computing the Well-Founded Semantics (1993)

by W Chen, D S Warren
Venue:Journal of Logic Programming