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

by A Van Gelder, K A Ross, J S Schlipf
Venue:Proc. 7th Symp. on Principles of Database Systems