Krandick, Werner Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Krandick, W., & Mehlhorn, K. (2006). New bounds for the Descartes method. Journal of Symbolic Computation, 41, 49-66.