G. S. Brodal and S. Skyum, “The Complexity of Computing the k-ary Composition of a Binary Associative Operator”, BRICS, vol. 3, no. 42, Jun. 1996.