Readings in knowledge representation (Morgan Kaufman, 1989)