Extensions for Open Default Theories via the Domain Closure Assumption.

Michael Kaminski Johann A. Makowsky Michael L. Tiomkin Extensions for Open Default Theories via the Domain Closure Assumption. 169-187 1998 8 J. Log. Comput. 2 db/journals/logcom/logcom8.html#KaminskiMT98