 <a href="http://www.cs.cornell.edu/Info/People/kozen/kozen.html"> Dexter Kozen <img align=middle src="ftp://ftp.cs.cornell.edu/pub/dexter/kozen-color.gif"> </a>   <a href=http://www.cs.cornell.edu/Info/People/schar/schar.html> <img align=middle src="http://www.cs.cornell.edu/Info/People/schar/schar.gif"> Daniel Scharstein</a>  <li>
