- Eugene Goldberg, 5584, Theory and Applications of Satisfiability Testing - SAT 2009, 2009,
147 
- Alexander Razborov, “Guest Column”, SIGACT News, 47, no. 2, 2016,
66 - Noel Arteche, Gaia Carenini, Matthew Gray, “Quantum Automating TC0-Frege Is LWE-Hard”, comput. complex., 34, no. 2, 2025, 16