A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic. Isabelle Archive of Formal Proofs (2004)

by T Ridge