Amy Briggs' webpage has moved. You should be automatically redirected to www.cs.middlebury.edu/~briggs.