Elimination Methods In Polynomial Computer Algebra door Valery Bykov & M. Lazman