Johannes Buchmann Hugh C. Williams On Principal Ideal Testing in Algebraic Number Fields. 11-19 1987 4 J. Symb. Comput. 1 db/journals/jsc/jsc4.html#BuchmannW87