TY  - RPRT
TI  - Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
AU  - Josef Urban
AU  - Geoff Sutcliffe
PY  - 2010
DO  - 10.1007/978-3-642-14128-7_12
UR  - https://arxiv.org/abs/1005.4592
ID  - 1005.4592
ER  -