@book{BrachmanLevesque85,
  editor	= {Brachman, Ronald J. and Levesque, Hector J.},
  year		= {1985},
  title		= {Readings in Knowledge Representation},
  publisher	= {Morgan Kaufman},
  address	= {Los Altos}
}