BRODAL, G.; SKYUM, S. The Complexity of Computing the k-ary Composition of a Binary Associative Operator. BRICS Report Series, v. 3, n. 42, 12 Jun. 1996.