Daniel Lazard Systems of algebraic equations. 88-94 1979 conf/eurosam/1979 EUROSAM db/conf/eurosam/eurosam1979.html#Lazard79