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