32M. Agrawal and S. Biswas, Primality and identity testing via Chinese remaindering. In ”40th Annual Symposium on Foundations of Computer Science (New York, 1999),”IEEE Computer Soc., Los Alamitos, CA, pp. 202–208, 1999.