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

by M Kaufmann, J S Moore
Venue:Transactions on Software Engineering,