Update: I have moved to the University of Illinois; please contact me there, at warnow@illinois.edu. Please also visit my current webpage at http://tandy.cs.illinois.edu/.