Symposium on Foundations of Computer Science (37th 1996 Burlington, Vt.)