Carlo Traverso Gröbner Trace Algorithms. 125-138 1988 conf/issac/1988 ISSAC db/conf/issac/issac88.html#Traverso88