	<A HREF="http://www.ma.utexas.edu/users/bshults/ATP/"> 	Automatic Theorem Proving Group</A> 	(headed by Bob Boyer)  <LI>
