Saturation, Nonmonotonic Reasoning and the Closed-World Assumption.

Genevieve Bossu Pierre Siegel Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. 13-63 1985 25 Artif. Intell. 1 db/journals/ai/ai25.html#BossuS85