  This work was done as part of the <a href="http://www.ma.utexas.edu/users/bshults/ATP/home.html">Automated Theorem Proving Group</a> at <a HREF="http://wwwhost.cc.utexas.edu">The University of Texas at Austin.</a><P>
