Title: 37th Annual Symposium on Foundations of Computer Science: October 14-16, 1996 Burlington, Vermont