Nonmonotonic reasoning - Antoniou, G. (Grigoris) (MIT Press, 1997)