1. Bol, R.N.: Loop checking in logic programming. CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands (1995)
2. Bruynooghe, M., Codish, M., Gallagher, J., Genaim, S., Vanhoof, W.: Termination analysis through combination of type based norms. TOPLAS 29(2), 10 (2007)
3. Bruynooghe, M., Janssens, G.: An instance of abstract interpretation integrating type and mode inferencing. In: ICLP/SLP, pp. 669–683 (1988)
4. Lecture Notes in Computer Science;M. Codish,2008
5. Debray, S.K., López-García, P., Hermenegildo, M.V.: Non-failure analysis for logic programs. In: ICLP, pp. 48–62 (1997)