TPTP Reference: Mat90

@Misc{Mat90,
    Author       = "Matuszewski, R.",
    Year         = "1990",
    Title        = "{Formalized Mathematics}",
    Note         = "http://www.mizar.org/fm/",
    Comment      = "TPTPRef"
}