Leonard M. Adleman, Kenneth L. Manders. Computational Complexity of Decision Procedures for Polynomials (Extended Abstract). In 16th Annual Symposium on Foundations of Computer Science, 13-15 October, 1975, The University of California, Berkeley, CA, USA. pages 169-177, IEEE, 1975.
Abstract is missing.