@article{liu03eliminating,
 author = "Yanhong A. Liu and Scott D. Stoller",
 title = "Eliminating dead code on recursive data",
 journal = "Science of Computer Programming",
 year = 2003,
 volume = 47,
 pages = "221-242"
}