Size-Change Termination Analysis in <i>k</i>-Bits.

Michael Codish Vitaly Lagoon Peter Schachte Peter J. Stuckey Size-Change Termination Analysis in <i>k</i>-Bits. 230-245 2006 conf/esop/2006 ESOP http://dx.doi.org/10.1007/11693024_16 db/conf/esop/esop2006.html#CodishLSS06