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