@incollection{Blanchette_2015,
    doi = {10.1007/978-3-319-20615-8_1},
    url = {https://doi.org/10.1007%2F978-3-319-20615-8_1},
    year = {2015},
    publisher = {Springer International Publishing},
    pages = {3--17},
    author = {Jasmin Christian Blanchette and Maximilian Haslbeck and Daniel Matichuk and Tobias Nipkow},
    title = {Mining the Archive of Formal Proofs},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Blanchette_2015, doi = {10.1007/978-3-319-20615-8_1}, url = {https://doi.org/10.1007%2F978-3-319-20615-8_1}, year = {2015}, publisher = {Springer International Publishing}, pages = {3--17}, author = {Jasmin Christian Blanchette and Maximilian Haslbeck and Daniel Matichuk and Tobias Nipkow}, title = {Mining the Archive of Formal Proofs}, booktitle = {Lecture Notes in Computer Science} }