1. Lecture Notes in Computer Science;M. Bruynooghe,2005
2. Debray, S.K., López-García, P., Hermenegildo, M.V.: Non-failure analysis for logic programs. In: ICLP, pp. 48–62 (1997)
3. Lecture Notes in Computer Science;M. Leuschel,1999
4. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
5. Nguyen, M.T., Bruynooghe, M., De Schreye, D., Leuschel, M.: Program specialisation as a preprocessing step for termination analysis. In: Geser, A., Sondergaard, H. (eds.) WST 2006, pp. 7–11 (2006)