@Article{Urb06,
    Author       = "Urban, J.",
    Year         = "2006",
    Title        = "{MPTP 0.2: Design, Implementation, and Initial Experiments}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "37",
    Number       = "1-2",
    Pages        = "21-43",
    Comment      = "TPTPCite,TPTPRef"
}

@Article{Urb06-JAL,
    Author       = "Urban, J.",
    Year         = "2006",
    Title        = "{MizarMode - An Integrated Proof Assistance Tool for the Mizar Way of
                    Formalizing Mathematics}",
    Journal      = "Journal of Applied Logic",
    Volume       = "4",
    Number       = "4",
    Pages        = "414-427",
    Comment      = "TPTPCite"
}