Nonmonotonic Reasoning and Databases. - Genevieve Bossu; Pierre Siegel (Advances in Data Base Theory, 1982)

Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. - Genevieve Bossu; Pierre Siegel (Artif. Intell., 1985)