clausal.pdf
heap-parametricity.pdf
global.object.pdf
synthesis.pdf
absint.pdf
TypedProlog.pdf
term.pdf - Term rewriting induction

Broken links:

Core C++
ICC++
Induction using term orderings
Reduction techniques for first-order reasoning
Design principles
All the Illinosi tech reports