On solving systems of algebraic equations via ideal bases and elimination theoryMichael E. PohstDavid Y.Y. Yun1981SYMSAC 1981