ICFP Contest 2010 -- how 1000 people produced 3746 relative termination
problems in 72 hours


The ICFP contest is an annual programming contest where teams from all over
the world compete to prove that their favourite programming language is the
best one. We present this year's contest task and its relation to term
rewriting, and exhibit some interesting ideas that the contestants
developed. (Joint work with Johannes Waldmann.)