Nonmonotonic reasoning - Antoniou,Grigoris (London MIT, 1997)