Allen Van Gelder Kenneth A. Ross John S. Schlipf The Well-Founded Semantics for General Logic Programs. 620-650 1991 38 J. ACM 3 db/journals/jacm/jacm38.html#GelderRS91 http://doi.acm.org/10.1145/116825.116838