C. L. Wu, D. C. Lou, and T. J. Chang, “Computational Reduction of Wilson’s Primality Test for Modern Cryptosystems”, IJCAI, vol. 33, no. 4.