This is the definitive formal description of Algernon.

PS

PhD Thesis, Department of Computer Sciences, University of Texas at Austin. UT Artificial Intelligence TR AI90-141.

@PhDThesis{Crawford-PhD-91, title={Access-Limited Logic: A Language for Knowledge Representation}, author={James Crawford}, month={October}, school={Department of Computer Sciences, University of Texas at Austin}, address={Austin, Texas}, institution={Department of Computer Sciences, University of Texas at Austin}, note={UT Artificial Intelligence TR AI90-141}, url="http://www.cs.utexas.edu/users/ai-lab?Crawford-PhD-91", year={1990} }