Skip to content

Extensions for Open Default Theories via the Domain Closure Assumption.

Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin

VenueBJELIA
Year1996
ProceedingsJELIA

Browse the full JELIA paper archive.