History of Automated Deduction at Argonne
Under Construction.
For now,
here
is a paper by Rusty Lusk that covers some of the history (presented at LPAR'92, Springer LNAI #624).
William McCune /
[email protected]