1. Alama, J., Kuehlwein, D., Tsivtsivadze, E., Urban, J., Heskes, T.: Premise selection for mathematics by corpus analysis and kernel methods (preprint, submitted)
2. Alama, J., Mamane, L., Urban, J.: Dependencies in formal mathematics (preprint, submitted)
3. Grabowski, A., Kornilowicz, A., Naumowicz, A.: Mizar in a nutshell. Journal of Formalized Reasoning 3(2), 153–245 (2010),
http://jfr.cib.unibo.it/article/view/1980/1356
4. Lakatos, I.: Proofs and Refutations. Cambridge University Press, Cambridge (1976)
5. Perspectives in Mathematical Logic;S.G. Simpson,2009