Farid M. Ablayev Classical Simulation Complexity of Quantum Branching Programs. 2007 Algebraic Methods in Computational Complexity http://drops.dagstuhl.de/opus/volltexte/2008/1310 conf/dagstuhl/2007P7411 db/conf/dagstuhl/P7411.html#Ablayev07