@inproceedings{liu03ackermann,
 author = "Yanhong A. Liu and Scott D. Stoller",
 title = "Optimizing {Ackermann's} function by incrementalization",
 booktitle="Proc.\ 2003 ACM SIGPLAN Symposium on Partial Evaluation
                and Semantics-Based Program Manipulation (PEPM)",
 year=2003,
 month = jan,
 publisher = "ACM Press",
 pages="85-91"
}