TY  - RPRT
TI  - MizAR 40 for Mizar 40
AU  - Cezary Kaliszyk
AU  - Josef Urban
PY  - 2013
DO  - 10.1007/s10817-015-9330-8
UR  - https://arxiv.org/abs/1310.2805
ID  - 1310.2805
ER  -