General domain circumscription and its first-order reduction.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Report (Other academic)
Place of publ.:
Department of Computer and Information Science, Linköping University