The well-founded semantics for general logic programs (1991)

by Allen van Gelder, Kenneth A Ross, John S Schlipf
Venue:J. ACM