I. Latkin and A. Seliverstov, “Computational complexity of fragments of the theory of complex numbers”, M, vol. 77, no. 1, pp. 47–55, Mar. 2015.