1. Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.): Intelligent Computer Mathematics. In: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, 5–10 July 2010. Proceedings, Lecture Notes in Computer Science, vol. 6167. Springer (2010)
2. Bancerek, G.: On the structure of Mizar types. Electron. Notes Theor. Comp. Sci. 85(7), 69–85 (2003)
3. Bancerek, G.: Automatic translation in formalized mathematics. Mech. Math. Its Appl. 5(2), 19–31 (2006)
4. Bancerek, G.: Information retrieval and rendering with MML query. In: Borwein, J., Farmer, W.M. (eds.) Mathematical Knowledge Management (MKM). LNAI, vol. 4108, pp. 266–279. Springer (2006)
5. Bancerek, G., Kohlhase, M.: Towards a Mizar mathematical library in OMDoc format. In: Matuszewski, R., Zalewska, A. (eds.) From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, Studies in Logic, Grammar and Rhetoric, vol. 10:23, pp. 265–275. University of Białystok (2007)