1. Alama, J., Kohlhase, M., Mamane, L., Naumowicz, A., Rudnicki, P., Urban, J.: Licensing the Mizar mathematical library. In: Lecture Notes in Computer Science of MKM’11, vol. 6824, pp. 149–163. Springer, Berlin (2011)
2. Armand, M., Faure, G., Grégoire, B., Keller, C., Théry, L., Werner, B.: A modular integration of SAT/SMT solvers to Coq through proof witnesses. In: Lecture Notes in Computer Science, vol. 7086, pp. 135–150. Springer, Berlin (2011)
3. Caminati, M.B., Rosolini, G.: Custom automations in Mizar. J. Autom. Reason. 50(2), 147–160 (2013)
4. Adam Grabowski: Automated discovery of properties of rough sets. Fundamenta Informaticae 128(1–2), 65–79 (2013)
5. Grabowski, A., Korniłowicz, A., Naumowicz, A.: Mizar in a nutshell. J. Formalized Reason. 3(2), 153–245 (2010)