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]
Abstract is missing.