A rigorous subexponential algorithm for computation of class groups (1989)

by James Hafner, Kevin McCurley
Venue:J. Amer. Math. Soc