Extending Sledgehammer with SMT solvers (2011)

by Jasmin Christian Blanchette, Sascha Böhme, Lawrence C Paulson
Venue:In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, CADE, volume 6803 of Lecture Notes in Computer Science