@inproceedings{AEM:WST:12,
 author    = "M. Avanzini and N. Eguchi and G. Moser",
 title     = {{On a Correspondence between Predicative Recursion and Register Machines}},
 booktitle = "Proceedings of the \nth{12} Workshop on Termination",
 year      = 2012,
 pages     = "15--19",
}