Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;G. Arroyo,2007
2. Lecture Notes in Computer Science;A. Ben-Amram,2008
3. Bezem, M.: Strong Termination of Logic Programs. Journal of Logic Programming 15(1,2), 79–97 (1993)
4. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)
5. Lee, C.S., Jones, N.D., Ben-Amram, A.M.: The Size-Change Principle for Program Termination. In: SIGPLAN Notices (Proc. of POPL 2001), vol. 28, pp. 81–92 (2001)