- Jan Krajíček, “Extended Nullstellensatz proof systems”, Proc. Amer. Math. Soc., 152, № 11, 2024,
4881 
- Sasank Mouli, 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024,
790 - Natalia L. Malinina, “Necessary and sufficient conditions for dividing the structure of algorithms into non-intersecting sets: polynomial and enumeration algorithms”, Vestn. Ross. univ. družby nar., Ser. Inž. issled., 23, № 2, 2022,
108