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

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