Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science