Pagter, J. “On Ajtai’s Lower Bound Technique for R-Way Branching Programs and the Hamming Distance Problem”. BRICS Report Series, vol. 7, no. 11, Jan. 2000, doi:10.7146/brics.v7i11.20138.