Lawrence C. Paulson. Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers. In Renate A. Schmidt, Stephan Schulz, Boris Konev, editors, Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. Volume 9 of EPiC Series, pages 1-10, EasyChair, 2010. [doi]
@inproceedings{Paulson10-1,
title = {Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers},
author = {Lawrence C. Paulson},
year = {2010},
url = {http://www.easychair.org/publications/?page=560965337},
researchr = {https://researchr.org/publication/Paulson10-1},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
volume = {9},
series = {EPiC Series},
publisher = {EasyChair},
}