@inproceedings{ADM:DICE:15,
 author    = {M. Avanzini and U. {Dal Lago} and G. Moser},
 title     = {Higher-Order Complexity Analysis: Harnessing First-Order Tools.},
 year      = {2015},
 booktitle = {6th International Workshop on Developments in Implicit Complexity},
 keywords  = {workshop}
}