1. 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
2. Alama, J., Mamane, L., Urban, J.: Dependencies in formal mathematics. CoRR, abs/1109.3687 (2011),
http://arxiv.org/abs/1109.3687
3. Dahn, I.: Robbins algebras are Boolean: A revision of McCune’s computer-generated solution of Robbins problem. Journal of Algebra 208, 526–532 (1998)
4. Dosen, K.: Identity of proofs based on normalization and generality. Bulletin of Symbolic Logic 9, 477–503 (2003)
5. Fitelson, B.: Using Mathematica to understand the computer proof of the Robbins Conjecture. Mathematica In Education and Research 7(1) (1998)