Pagter, J. On Ajtai’s Lower Bound Technique for R-Way Branching Programs and the Hamming Distance Problem. BRICS 2000, 7.