ATP Cross-Verification of the Mizar MPTP Challenge Problems.

Josef Urban, Geoff Sutcliffe

Browse the full LPAR paper archive.