Joachim Draeger, Stephan Schulz. Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. In Ingrid Russell, John F. Kolen, editors, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA. pages 345-349, AAAI Press, 2001.
Abstract is missing.