@ARTICLE{hales-revision, author = "Thomas C. Hales and John Harrison and Sean McLaughlin and Tobias Nipkow and Steven Obua and Roland Zumkeller", title = "A Revision of the Proof of the {K}epler Conjecture", journal = "Discrete and Computational Geometry", year = 2009, note = "Available online at {\url{http://dx.doi.org/10.1007/s00454-009-9148-4}}"}