TY  - RPRT
TI  - ATP and Presentation Service for Mizar Formalizations
AU  - Josef Urban
AU  - Piotr Rudnicki
AU  - Geoff Sutcliffe
PY  - 2012
UR  - https://arxiv.org/abs/1109.0616
ID  - 1109.0616
ER  -