Nonmonotonic Reasoning by Grigoris Antoniou & Mary-Anne Williams