Affine-Based Size-Change Termination.

Hugh Anderson, Siau-Cheng Khoo

Browse the full APLAS paper archive.