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).