@article{DBLP:journals/jfrea/BlanchetteKPU16,
TITLE = {Hammering towards {QED}},
AUTHOR = {Blanchette, Jasmin Christian and Kaliszyk, Cezary and Paulson, Lawrence C. and Urban, Josef},
LANGUAGE = {eng},
ISSN = {1972-5787},
DOI = {10.6092/issn.1972-5787/4593},
YEAR = {2016},
JOURNAL = {Journal of Formalized Reasoning},
VOLUME = {9},
NUMBER = {1},
PAGES = {101--148},
}