An Industrial Strength Theorem Prover for a Logic Based on Common Lisp (1997)

by Matt Kaufmann, J Moore
Venue:IEEE Transactions on Software Engineering