 The  <A HREF="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html">NuPrl</A> Automated Reasoning System. </UL>
