@inproceedings{AEM:WST:12,
 author    = {M. Avanzini and N. Eguchi and G. Moser},
 title     = {On a Correspondence between Predicative Recursion and Register Machines},
 year      = {2012},
 booktitle = {12th Workshop on Termination (WST)},
 pages     = {15--19},
 keywords  = {workshop}
}