@TechReport{	  RameshMurrayEA95,
  author	= {Anavai Ramesh and Neil V. Murray and Bernhard Beckert and
		  Reiner H\"ahnle},
  title		= {Fast Subsumption Checks Using Anti-Links},
  institution	= {Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik},
  number	= {24/95},
  month		= apr,
  year		= {1995}
}