Latkin, I. and Seliverstov, A. 2015. Computational complexity of fragments of the theory of complex numbers. Bulletin of the Karaganda University. Mathematics Series. 77, 1 (Mar. 2015), 47–55.