- Mladen Mikša, Jakob Nordström, “A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds”, J. ACM, 71, № 6, 2024,
1 
- Sam Buss, Neil Thapen, “A simple supercritical tradeoff between size and height in resolution”, Information Processing Letters, 191, 2026,
106589