@InProceedings{BH+15, Author = "Blanchette, J. and Haslbeck, M. and Matichuk,D. and Nipkow, T.", Year = "2015", Title = "{Mining the Archive of Formal Proofs}", Editor = "Kerber, M. and Carette, J. and Kaliszyk, C. and Rabe, F. and Sorge, V.", BookTitle = "{Proceedings of the 8th Conference on Intelligent Computer Mathematics}", Place = "Washington, USA", Series = "Lecture Notes in Computer Science", Number = "9150", Pages = "3-17", Comment = "TPTPRef" }