Unfounded sets and well-founded semantics for general logic programs (1991)

by A Van Gelder, K A Ross, J S Schlipf
Venue:JACM