@Article{	  RameshBeckertEA97,
  author	= {Anavai Ramesh and Bernhard Beckert and
		  Reiner H\"ahnle and Neil V. Murray},
  title		= {Fast Subsumption Checks Using Anti-Links},
  journal	= {Journal of Automated Reasoning},
  volume        = {18},
  number        = {1},
  pages         = {47--83},		  
  year		= {1997}
}