Proving Termination of Tree Manipulating Programs.

Peter Habermehl, Radu Iosif, Adam Rogalewicz, Toms Vojnar

Browse the full ATVA paper archive.