Pagter, J. 2000. On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem. BRICS Report Series. 7, 11 (Jan. 2000). DOI:https://doi.org/10.7146/brics.v7i11.20138.