1. Amir M. Ben-Amram. SCT-1-1 ∈ PTIME (plus some other cases). unpublished note, Copenhagen, 2001.
2. Chin Soon Lee, Neil D. Jones, and Amir M. Ben-Amram. The size-change principle for program termination. In Proceedings of the Twenty-Eigth ACM Symposium on Principles of Programming Languages, January 2001, pages 81–92. ACM press, 2001.
3. R. Péter. Recursive Functions. Academic Press, 1967.
4. N. Lindenstrauss, N. and Y. Sagiv. Automatic termination analysis of Prolog programs. In Proceedings of the Fourteenth International Conference on Logic Programming, L. Naish, Ed, pages 64–77. MIT Press, Leuven, Belgium, 1977. See also:
http://www.cs.huji.ac.il/~naomil/
.
5. Y. Sagiv. A termination test for logic programs. In Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct 28–Nov 1, 1991, V. Saraswat and K. Ueda, Eds. MIT Press, 518–532.