FIX to Document Listing on Repetitive Collections with Guaranteed Performance
Theorem 3, declared as a result of independent interest in the paper, is so
interesting that it was already proved by Chazelle in his famous 1988 paper,
"A Functional Approach to Data Structures and Its Use in Multidimensional
Searching", SIAM J. Comput., 17(3), 427-462.
Yes, a shame.