Unfounded Sets and Well-Founded Semantics for General Logic Programs.

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf

Browse the full PODS paper archive.