Proceedings of the 30th Conference on Computational Complexity
ACM Digital Library