31th Annual Symposium on Foundations of Computer Science : St. Louis, Missouri, October 22-24, 1990 (IEEE Computer Society Press, 1990)