@inproceedings{Santhanam_2021,
    doi = {10.1145/3406325.3451010},
    url = {https://doi.org/10.1145%2F3406325.3451010},
    year = {2021},
    month = {jun},
    publisher = {{ACM}},
    author = {Rahul Santhanam and Iddo Tzameret},
    title = {Iterated lower bound formulas: a diagonalization-based approach to proof complexity},
    booktitle = {Proceedings of the 53rd Annual {ACM} {SIGACT} Symposium on Theory of Computing}
}

@inproceedings{Santhanam_2021, doi = {10.1145/3406325.3451010}, url = {https://doi.org/10.1145%2F3406325.3451010}, year = {2021}, month = {jun}, publisher = {{ACM}}, author = {Rahul Santhanam and Iddo Tzameret}, title = {Iterated lower bound formulas: a diagonalization-based approach to proof complexity}, booktitle = {Proceedings of the 53rd Annual {ACM} {SIGACT} Symposium on Theory of Computing} }