PS

PhD Thesis, University of Texas at Austin. (Available by anonymous ftp from ftp.cs.utexas.edu as /pub/techreports/tr95-17.ps).

@PHDTHESIS{kar95a, title={A Mathematical Investigation of Reasoning about Actions}, author={Neelakantan Kartha }, school={University of Texas at Austin}, note={(Available by anonymous ftp from ftp.cs.utexas.edu as /pub/techreports/tr95-17.ps)}, url="http://www.cs.utexas.edu/users/ai-lab?kar95a", year={1995} }