TPTP Reference: Hal10


@Article{Hal10,
    Author       = "Hales, T.",
    Year         = "2010",
    Title        = "{A Revision of the Proof of the Kepler Conjecture}",
    Journal      = "Discrete and Computational Geometry",
    Volume       = "44",
    Number       = "1",
    Pages        = "1-34",
    Comment      = ""
}