@phdthesis{DAVIS76,
  author	= {Davis, R.},
  year		= {1976},
  title		= {Applications of Meta Level Knowledge to the Construction, Maintenance, and Use of Large Knowledge Bases},
  school	= {Stanford University}
}