Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.

Joachim Draeger, Stephan Schulz

Browse the full FlAIRS paper archive.