Acm Sigact

• Acm Symposium on Theory of Computing