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