William F. Dowling Robert Kline The Fixed Points of Logic Programs with Herbrand Base N. 309-319 1990 77 Theor. Comput. Sci. 3 db/journals/tcs/tcs77.html#DowlingK90