Sledgehammer: Judgement Day

Cite this paper

@inproceedings{Bhme2010SledgehammerJD, title={Sledgehammer: Judgement Day}, author={Sascha B{\"{o}hme and Tobias Nipkow}, booktitle={IJCAR}, year={2010} }