ACM Symposium on Theory of Computing

GPTKB entity