A mechanically verified, sound and complete theorem prover for first order logic (2005)

by Tom Ridge, James Margetson
Venue:In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, volume 3603 of Lecture Notes in Computer Science