Beals, R.; Buhrman, H.; Cleve, R.; Mosca, M.; de Wolf, R. (2001). «Quantum lower bounds by polynomials». Journal of the ACM48 (4): 778-797. arXiv:quant-ph/9802049. doi:10.1145/502090.502097.
Rabin, Michael O. (1 de diciembre de 1972). «Proving simultaneous positivity of linear forms». Journal of Computer and System Sciences(en inglés)6 (6): 639-650. ISSN0022-0000. doi:10.1016/S0022-0000(72)80034-5.
Beals, R.; Buhrman, H.; Cleve, R.; Mosca, M.; de Wolf, R. (2001). «Quantum lower bounds by polynomials». Journal of the ACM48 (4): 778-797. arXiv:quant-ph/9802049. doi:10.1145/502090.502097.
Rabin, Michael O. (1 de diciembre de 1972). «Proving simultaneous positivity of linear forms». Journal of Computer and System Sciences(en inglés)6 (6): 639-650. ISSN0022-0000. doi:10.1016/S0022-0000(72)80034-5.