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

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