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