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