Master's Theses, Symbolic Systems Program, Stanford University