Efficient Checkers for Number-Theoretic Computations Leonard M. Adleman Ming-Deh A. Huang Kireeti Kompella 93-102 Inf. Comput. August 1995 121 1 db/journals/iandc/iandc121.html#AdlemanHK95