Dongming Wang
-
A new algorithmic scheme for computing characteristic sets
Journal of Symbolic Computation