Authors: GOTTLOB G MARCUS S NERODE A SALZER G SUBRAHMANIAN VS

Citation: G. Gottlob et al., A NON-GROUND REALIZATION OF THE STABLE AND WELL-FOUNDED SEMANTICS, Theoretical computer science, 166(1-2), 1996, pp. 221-262