An Algorithm to Check whether a Basis of a Parametric Polynomial System is a ComprehensiveGroebner basis and the associated Completion Algorithm
D. Kapur and Y. Yang
Intl. Symp. on Symbolic and Algebraic Computation (ISSAC) Bristol, July 2015.