1. International Series in Computer Science;KR Apt,1997
2. Apt, K.R., Pedreschi, D.: Reasoning about termination of pure Prolog programs. Inf. Comput. 106(1), 109–157 (1993)
3. Bezem, M.: Strong termination of logic programs. J. Log. Program. 15(1&2), 79–97 (1993)
4. Clark, K.L.: Predicate logic as computational formalism. Technical report 79/59, Imperial College, London (1979)
5. Deransart, P., Małuszyński, J.: A Grammatical View of Logic Programming. The MIT Press, Cambridge (1993)