Bottom-up computation using trees of sublists - Shin-Cheng, Mu (Journal of Functional Programming)