@InProceedings{Schulz:IJCAR-2012,
  author = 	 {Stephan Schulz},
  title = 	 {{Fingerprint Indexing for Paramodulation and Rewriting}},
  booktitle = 	 {Proc.\ of the 6st IJCAR, Manchester},
  editor =	 {Bernhard Gramlich and Ulrike Sattler and Dale Miller},
  volume =	 {7364},
  series =	 {LNAI},
  year =	 {2012},
  publisher =	 {Springer},
  pages =	 {477--483},
  annote =       {StS},
}