×

The well-founded semantics for general logic programs. (English) Zbl 0799.68045


MSC:

68N17 Logic programming
68Q55 Semantics in the theory of computing
PDF BibTeX XML Cite
Full Text: DOI