@article {IOPORT.05756617,
    author       = {Urban, Josef and Sutcliffe, Geoff},
    title        = {Automated reasoning and presentation support for formalizing mathematics in mizar.},
    year         = {2010},
    journal      = {Computing Research Repository (CoRR)},
    volume       = {2010},
    pages        = {Article No. 1005.4592},
    publisher    = {Association for Computing Machinery, New York, NY; Cornell University, Ithaka, NY},
    identifier   = {05756617},
}