Sagraloff, Michael Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Bouzidi, Y., Lazard, S., Moroz, G., Pouget, M., Rouillier, F., & Sagraloff, M. (2016). Solving Bivariate Systems Using Rational Univariate Representations. Journal of Complexity, 37, 34-75. doi:10.1016/j.jco.2016.07.002.