On the Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics. - Gelfond, Michael; Przymusinska, Halina; Przymusinski, Teodor (International Journal of Intelligent Systems, 1990)