Readings in Knowledge Representation - Brachman, Ronald J; Levesque, Hector J (California Morgan Kaufmann, 1985)