@inproceedings{AF:WST:14,
 author    = {M. Avanzini and B. Felgenhauer},
 title     = {Type Introduction for Runtime Complexity Analysis},
 year      = {2014},
 booktitle = {14th Workshop on Termination (WST)},
 keywords  = {workshop}
}