Author： Gottlob G. Marcus S. Nerode A. Salzer G. Subrahmanian V.S.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.166, Iss.1, 1996-10, pp. : 221-262
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Hybrid rules with well-founded semantics
By Drabent Włodzimierz Małuszyński Jan
Knowledge and Information Systems, Vol. 25, Iss. 1, 2010-10 ,pp. :
Access to resources
Recommend
On the equivalence of the static and disjunctive well-founded semantics and its computation
Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. :
Bottom-up evaluation and query optimization of well-founded models
By Kemp D.B. Srivastava D. Stuckey P.J.
Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. :