@inproceedings{ADL:DICE:17,
 author    = "M. Avanzini and U. Dal Lago",
 title     = {{Automating Size Type Inference and Complexity Analysis}},
 booktitle = "Proceedings of 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis",
 year      = 2017,
}