Ph.D. Alumni
A Mathematical Investigation of Reasoning about Actions 1995
Neelakantan Kartha , PhD Thesis, University of Texas at Austin. (Available by anonymous ftp from ftp.cs.utexas.edu as /pub/techreports/tr95-17.ps).
Formerly affiliated with Texas Action Group