"Checking Properties of Polynomials (Extended Abstract)."

Bruno Codenotti et al. (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics