J. Pagter, “On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem”, BRICS, vol. 7, no. 11, Jan. 2000.