@article{
 author = {Mikl{\'o}s Ajtai},
 title = {A Non-linear Time Lower Bound for Boolean Branching Programs},
 journal = {Theory of Computing},
 year = {2005},
 volume = {1},
 number = {1},
 pages = {149-176},
 publisher = {Theory of Computing},
 eprint = {toc:v001/a008},
 URL = {http://www.theoryofcomputing.org/articles/main/v001/a008/},
}