@inproceedings{AF:WST:14,
 author    = "M. Avanzini and B. Felgenhauer",
 title     = {{Type Introduction for Runtime Complexity Analysis}},
 booktitle = "Proceedings of the \nth{14} Workshop on Termination",
 year      = 2014,
}