In this paper, a system is presented where documents are no longer identified bytheir file names. Instead, a document is represented by its semantics in terms o
In this paper, an equivalence condition for deciding whether a default theory isan auto-compatible default one is presented. Under the condition, the existence