Proceedings of the 32nd Computational Complexity Conference
ACM Digital Library