Efficient Checkers for Number-Theoretic Problems. Submitted to Information and Computation (1989)

by L Adleman, M Huang, K Kompella