1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise Selection for Mathematics by Corpus Analysis and Kernel Methods. CoRR abs/1108.3446 (2011); Accepted to JAR
2. Lecture Notes in Artificial Intelligence,2008
3. Lecture Notes in Computer Science;J.C. Blanchette,2011
4. Lecture Notes in Computer Science;J.C. Blanchette,2011
5. Korovin, K.: iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description). Armando et al. [2], 292–298