<b>Dexter Kozen:</b> <a href="http://www.cs.cornell.edu/Info/Department/Annual95/Faculty/Kozen.html">(Annual Report)</a>  and/or <a href="http://www.cs.cornell.edu/Info/People/kozen/kozen.html">(Personal)</a>  <dd>
