@incollection{Hales_2011,
    doi = {10.1007/978-1-4614-1129-1_9},
    url = {https://doi.org/10.1007%2F978-1-4614-1129-1_9},
    year = {2011},
    publisher = {Springer New York},
    pages = {341--376},
    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 Kepler Conjecture},
    booktitle = {The Kepler Conjecture}
}

@incollection{Hales_2011, doi = {10.1007/978-1-4614-1129-1_9}, url = {https://doi.org/10.1007%2F978-1-4614-1129-1_9}, year = {2011}, publisher = {Springer New York}, pages = {341--376}, 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 Kepler Conjecture}, booktitle = {The Kepler Conjecture} }