Termination of Two Variable Homogeneous Linear Loops. - Yi Li; Chuancan Li; Wenyuan Wu; Yong Feng (BIFE, 2013)