@Article{Ban90-JFM-ZF,
    Author       = "Bancerek, G.",
    Year         = "1990",
    Title        = "{Zermelo Theorem and Axiom of Choice}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "2",
    Pages        = "265-267",
    Comment      = "TPTPRef"
}

@Article{Ban90-JFM-WOR,
    Author       = "Bancerek, G.",
    Year         = "1990",
    Title        = "{The Well Ordering Relations}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "1",
    Pages        = "123-129",
    Comment      = "TPTPRef"
}

@Article{Ban90-JFL-ON,
    Author       = "Bancerek, G.",
    Year         = "1990",
    Title        = "{The Ordinal Numbers}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "1",
    Number       = "1",
    Pages        = "91-96",
    Comment      = "TPTPRef"
}