TY - CONF T1 - Mechanizing the Metatheory of Sledgehammer UR - http://dx.doi.org/10.1007/978-3-642-40885-4_17 PY - 2013/11/06 AU - Blanchette JC AU - Popescu A ED - DO - DOI: 10.1007/978-3-642-40885-4_17 PB - Springer Berlin Heidelberg SN - 9783642408847 SP - 245 EP - 260 Y2 - 2024/12/23 ER -