 [ <A HREF="http://cs-tr.cs.cornell.edu/Dienst/UI/2.0/Search">Search</A>  | <A HREF="http://www.ncstrl.org:8080">Home page</A>  ] <HR> <I><img align=left  src="http://cs-tr.cs.cornell.edu/Dienst/htdocs/image_gif/sm_ncstrl.gif">NCSTRL</I><br>
