1. The QED Manifesto. In: Bundy, A. (ed.) CADE 1994. LNCS, vol. 814, pp. 238–251. Springer, Heidelberg (1994)
2. Alama, J., Kühlwein, D., Tsivtsivadze, E., Urban, J., Heskes, T.: Premise selection for mathematics by corpus analysis and kernel methods. CoRR, abs/1108.3446 (2011)
3. Lecture Notes in Computer Science;J. Alama,2012
4. Lecture Notes in Computer Science;E. Althaus,2009
5. Bancerek, G., Endou, N., Sakai, Y.: On the characterizations of compactness. Formalized Mathematics 9(4), 733–738 (2001)