Advanced Topics in Termination
This site provides links to
papers that
provide futher details on the topics covered in the
Advanced Topics in Termination lecture series at
ISR 2009.
The
slides and a list of termination
and complexity
tools is also
available.