1. A. Ayad, “Complexity of solving parametric polynomial systems,” Zap. Nauchn. Semin. POMI, 387, 5–52 (2011).
2. A. L. Chistov, “A polynomial-complexity algorithm for factoring polynomials and constructing components of a variety in subexponential time,” Zap. Nauchn. Semin. LOMI, 137, 124–188 (1984).
3. A. L. Chistov, “An improvement of the complexity bound for solving systems of polynomial equations”, Zap. Nauchn. Semin. POMI, 390, 299–306 (2011).
4. A. L. Chistov, "Estimation of the degree of a system of equations that determines a variety of reducible polynomials," Algebra Analiz, 24, No. 3, 199-222 (2012)
5. and "Correction...", Algebra Analiz, 25, No. 2, 279 (2013).