Eric Bach James R. Driscoll Jeffrey Shallit Factor Refinement. 199-222 1993 15 J. Algorithms 2 db/journals/jal/jal15.html#BachDS93