@Misc{Schulz:FP-2012,
  author =       {Stephan Schulz},
  title =        {{Fingerprint Indexing for Paramodulation and
                  Rewriting (Extended Version)}},
  howpublished = {E Technical Paper},
  year =         {2012},
  annote =       {StS},
}