TY  - SER
AU  - Kaufmann, Matt [and other]
TI  - An industrial strength theorem prover for a logic based on Common Lisp
KW  - SOFTWARE
ER  -