An industrial strength theorem prover for a logic based on common lisp (1997)

by M KAUFMAN, J S MOORE
Venue:IEEE Trans. Soft. Eng