Sophie Laplante Troy Lee Mario Szegedy The Quantum Adversary Method and Classical Formula Size Lower Bounds. 76-90 2005 conf/coco/2005 IEEE Conference on Computational Complexity http://dx.doi.org/10.1109/CCC.2005.29 db/conf/coco/coco2005.html#LaplanteLS05