\input zb-basic
\input zb-ioport
\iteman{io-port 05756617}
\itemau{Urban, Josef; Sutcliffe, Geoff}
\itemti{Automated reasoning and presentation support for formalizing mathematics in mizar.}
\itemso{Comput. Res. Repos. 2010, Article No. 1005.4592 (2010).}
\itemcc{}
\itemut{}
\itemli{arXiv:1005.4592}
\end