Algorithms and Complexity

de Wolf, R. (2013, January). Quantum proofs for classical theorems. IEEE Conference on Computational Complexity: How low can approximate degree and quantum query complexity be for total boolean functions? Palo Alto, CA, USA.