Well−Founded Semantics for Default Logic (Fundam. Inform., 1997)

(untitled) - Brewka, G; Gottlob, G