TY  - RPRT
TI  - Parallelizing Mizar
AU  - Josef Urban
PY  - 2014
UR  - https://arxiv.org/abs/1206.0141
ID  - 1206.0141
ER  -