@InCollection{ Ben-Amram:2003:SCT,
  AUTHOR     = {Amir M. Ben-Amram},
  YEAR       = {2002},
  TITLE      = {General Size-Change Termination and Lexicographic Descent},
  EDITOR = {Torben Mogensen and David Schmidt and I. Hal Sudborough},
  BOOKTITLE = {The Essence of Computation:
             Complexity, Analysis, Transformation.
             Essays Dedicated to Neil D. Jones},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  volume     = {2566},
  pages      = {3--17},
  keywords   = {SCT, size-change termination},
  summary    = {s paper confirms a conjecture of Neil Jones, proving that
two classes of programs are equivalent in their computational power:
programs whose termination can be verified with the Size-Change Termination
condition and programs satisfying the simpler Lexical Descent condition.},
}