Readings in nonmonotonic reasoning - Maccarthy, J. (Morgan Kaufmann Publishers, 1987)