Ren-Cang Li, Marc Daumas, and Sylvie Boldo, "Theorems on Efficient Argument Reductions", Proceedings of the 16th IEEE Symposium on Computer Arithmetic, Santiago de Compostela, Spain, June 15-18, 2003