Georg Gottlob Sherry Marcus Anil Nerode Gernot Salzer V. S. Subrahmanian A Non-Ground Realization of the Stable and Well-Founded Semantics. 221-262 1996 166 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs166.html#GottlobMNSS96 http://dx.doi.org/10.1016/0304-3975(95)00207-3