1. Church, K.W., Hanks, P.: Word Association Norms, Mutual Information, and Lexicography. Computational Linguistics 16(1)
2. Lecture Notes in Artificial Intelligence;J. Draeger,1998
3. Draeger, J., Schulz, S., et al.: Improving the performance of automated theorem provers by redundancy-free lemmatization. In: Proceedings of the 14th Florida Artificial Intelligence Research Symposium, pp. 345–349 (2001)
4. McCune, W.: OTTER: 3.0 Reference Manual and Guide, Technical Report ANL-94/6. Argonne National Laboratory, Argonne, Illinois (1994)
5. McCune, W.: Prover9 Manual (2006),
http://www.cs.unm.edu/mccune/prover9/manual