Factor refinement (1993)

by E Bach, J Driscoll, J Shallit
Venue:MR 94m:11148