@article{v008a013, author = {Reichardt, Ben and {\v S}palek, Robert}, title = {Span-Program-Based Quantum Algorithm for Evaluating Formulas}, year = {2012}, pages = {291--319}, doi = {10.4086/toc.2012.v008a013}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {8}, number = {13}, URL = {https://theoryofcomputing.org/articles/v008a013}, }