@inproceedings{HIR+07,
title = {Proving Termination of Tree Manipulating Programs },
author = {Habermehl, Peter and Iosif, Radu and Rogalewicz, Adam and Vojnar, Tom{\'a}s},
year = {2007},
booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
pages = {145-161},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4762},
team = {DCS,PACSS},
}
