Author: ACM Symposium on Theory of Computing (18th 1986 Berkeley, Calif.)