Transforming Termination by Self-Labelling.

Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema

Browse the full CADE paper archive.