nonmonotonic reasoning and the closed world assumption (1995)

by G Bossu, P Siegel, Saturation
Venue:Artificial Intelligence