 Woody Bledsoe (deceased Oct. 4, 1995) ---  <a href="http://www.ma.utexas.edu/users/bshults/ATP/home.html">Automated    Theorem Proving</a> <br>
