Proceedings. 31st Annual Symposium on Foundations of Computer Science (Cat. No.90CH2925-6) | IEEE Conference Publication | IEEE Xplore