Algorithme de Bareiss, algorithme des sous-résultantsLionel DucosRAIRO-Theor. Inf. Appl., 30 4 (1996) 319-347DOI: https://doi.org/10.1051/ita/1996300403191