An Overview of Automated Reasoning and Related Fields

L. Wos
Fernando Pereira
Robert Hong
Robert S. Boyer
J Strother Moore
W. W. Bledsoe
L. J. Henschen
Bruce G. Buchanan
Graham Wrightson
Cordell Green
Journal of Automated Reasoning, 1 (1985), pp. 5-48
Google Scholar

Abstract