Harry Buhrman Robert Spalek Quantum verification of matrix products. 880-889 2006 conf/soda/2006 SODA http://doi.acm.org/10.1145/1109557.1109654 db/conf/soda/soda2006.html#BuhrmanS06