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

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