A Rigorous Subexponential Algorithm For Computation of Class Groups

James L. Hafner, Kevin S. McCurley
1989 Journal of The American Mathematical Society  
doi:10.2307/1990896 fatcat:yleg7ryuszclfhuizs4zlciaoy