 <A HREF="http://www.cs.cornell.edu/Info/People/halpern/rak.html">Reasoning About Knowledge</A> (COM S 676).  </UL>
