An industrial strength theorem prover for a logic based on Common Lisp (1997)

by M Kaufmann, J S Moore
Venue:IEEE Trans. Software Eng