The 9th international workshop on termination (2007)

by Dieter Hofbauer, Alexander Serebrenik