@inproceedings{inproceedings, title = {{Mechanizing the Metatheory of Sledgehammer}}, publisher = {{Springer Berlin Heidelberg}}, url = {{http://dx.doi.org/10.1007/978-3-642-40885-4_17 }}, year = {{2013}}, month = {{11}}, author = {{Blanchette JC and Popescu A}}, doi = {{10.1007/978-3-642-40885-4_17}}, isbn = {{9783642408847}}, pages = {{245-260}}, note = {{Accessed on 2024/12/23}}}