The Well-Founded Semantics for General Logic Programs (1991)

by Kenneth A. Ross
Venue:Journal of the ACM