Readings in knowledge representation - Hayes, Patrick J. (Morgan Kaufmann Publishers, 1985)