Which theorem prover? : (a survey of four theorem provers) /
Smith, A.,19---
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
c1990.
Includes bibliographical references.
Automatic theorem proving.