Automatic Proof and Disproof in Isabelle/HOL (2011)

by Jasmin Christian Blanchette , Lukas Bulwahn , Tobias Nipkow
Citations:7 - 0 self