Sledgehammer: Judgement Day

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14203-1_9 ◽

2010 ◽

pp. 107-121 ◽

Author(s):

Sascha Böhme ◽

Tobias Nipkow

Download Full-text