"Optimizing Ackermann's function by incrementalization."

Yanhong A. Liu, Scott D. Stoller (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics