@InProceedings{Schulz:IJCAR-WS-2004,
  author = 	 {S. Schulz}, 
  title = 	 {{Simple and Efficient Clause Subsumption with
                  Feature Vector Indexing}},
  booktitle =    {Proc.\ of the IJCAR-2004 Workshop on Empirically
                  Successful First-Order Theorem Proving, Cork,
                  Ireland},
  editor =       {G. Sutcliffe and S. Schulz and T. Tammet},
  OPTvolume =	 {},
  series =       {ENTCS},
  year =	 {2004},
  publisher =    {Elsevier Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTpages =	 {},
  note =         {(to appear)},
  annote =	 {StS},
}