 I am currently working on a revision of the  <a HREF="http://www.cs.utexas.edu/users/qr/algernon.html">Algernon</a> representation and reasoning system. For my thesis I am developing an abstract machine for  access-limited logic reasoning. Here are test versions of the  <a HREF="http://www.cs.utexas.edu/users/qr/algy/reference-manual/reference-manual.html">Algernon Reference Manual</a>.  <H2>
