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 / mccune@mcs.anl.gov