@techreport{TEIRESIAS,
  author	= {Davis, Randall},
  year		= {1976},
  title		= {Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases},
  institution	= {Stanford Artificial Intelligence Laboratory}
}