Nonmonotonic reasoning - Antoniou, Grigoris, 1961- (MIT Press, 1997)