The Well-Founded Semantics for General Logic Programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3):620-650, 1991. [doi]

Abstract

Abstract is missing.