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

by A van Gelder, K A Ross, J S Schlipf
Venue:Journal of the ACM