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