1. Deissenboeck, F., Pizka, M.: Concise and consistent naming. Softw. Q. J. 14(3), 261–282 (2006)
2. Lecture Notes in Computer Science;T Gauthier,2014
3. Grabowski, A., Korniłowicz, A., Naumowicz, A.: Four decades of Mizar. J. Autom. Reason. 55(3), 191–198 (2015)
4. Hales, T., et al.: A formal proof of the Kepler conjecture. CoRR, 1501.02155 (2015)
5. Kaliszyk, C., Urban, J., Vyskočil, J.: Efficient semantic features for automated reasoning over large theories. In: IJCAI 2015, pp. 3084–3090. AAAI Press (2015)