@article{v022a004,
 author = {Alekseev, Yaroslav},
 title = {A Lower Bound for Polynomial Calculus with Extension Rule},
 year = {2026},
 pages = {1--29},
 doi = {10.4086/toc.2026.v022a004},
 publisher = {Theory of Computing},
 journal = {Theory of Computing},
 volume = {22},
 number = {4},
 URL = {https://theoryofcomputing.org/articles/v022a004},
}