A Non−Ground Realization of the Stable and Well−Founded Semantics (Theor. Comput. Sci., 1996)

(untitled) - Gottlob, G; Marcus, S; Nerode, A; Salzer, G; Subrahmanian, V