Automatic Proof and Disproof in Isabelle/HOL (2011)

by Jasmin Christian Blanchette , Lukas Bulwahn , Tobias Nipkow
Citations:3 - 1 self