Resolution des systemes d'equation algebriques. Theoretical Comput. Sci., 15: 77{110 (1981)

by D Lazard
Venue:In