ACM-SIAM Symposium on Discrete Algorithms
Quantum Computing and Advanced System Research

Buhrman, H., & Spalek, R. (2006). Quantum verification of matrix products. In Proceedings of ACM-SIAM Symposium on Discrete Algorithms 2006 (17) (pp. 880–889).