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.
@inproceedings{DraegerS01,
title = {Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization},
author = {Joachim Draeger and Stephan Schulz},
year = {2001},
tags = {redundancy},
researchr = {https://researchr.org/publication/DraegerS01},
cites = {0},
citedby = {0},
pages = {345-349},
booktitle = {Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA},
editor = {Ingrid Russell and John F. Kolen},
publisher = {AAAI Press},
isbn = {1-57735-133-9},
}