@inproceedings{IWIL2010:Three_years_experience_with,
author = {Lawrence C. Paulson and Jasmin Christian Blanchette},
title = {Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wV},
doi = {10.29007/36dt},
pages = {1-11},
year = {2012}}