Todd Davies Stanford University   Symbolic Systems Program Stanford University 450 Serra Mall Stanford, CA 94305-2150 USA   davies@stanford.edu   http://www.stanford.edu/~davies