@InProceedings{DS:FLAIRS-2001,
  author = 	 {J. Draeger and S. Schulz},
  title = 	 {{Improving the Performance of Automated Theorem
                  Provers by Redundancy-free Lemmatization}},
  booktitle = 	 {Proc.\ of the 14th FLAIRS, Key West},
  editor =	 {I. Russel and J. Kolen},
  year =	 {2001},
  publisher =	 {AAAI Press},
  pages =	 {345--349},
}