@workingPaper{Hutter_1997,
title={Using rippling to prove the termination of algorithms},
author={Hutter, Dieter},
doi={http://dx.doi.org/10.22028/D291-24941},
year={1997}
}