Un algorithme lexicographique pour la résolution des programmes polynomiaux en variables entièresIrinel DraganR.I.R.O., 2 14 (1968) 81-89DOI: https://doi.org/10.1051/ro/196802V300811
