Readings in Nonmonotonic Reasoning - Ginsberg, Matthew L. (Morgan Kaufmann Publishers, 1987)