Publisher
Springer Science and Business Media LLC
Reference38 articles.
1. Apt, K.R.: From Logic Programming to Prolog. Prentice Hall International series in computer science. Prentice Hall, Hoboken (1997)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Bol, R.N., Apt, K.R., Klop, J.W.: An analysis of loop checking mechanisms for logic programs. Theoret. Comput. Sci. 86(1), 35–79 (1991)
4. Codish, M., Taboch, C.: A semantic basis for the termination analysis of logic programs. J. Logic Program. 41(1), 103–123 (1999)
5. Dershowitz, N.: Termination of rewriting. J. Symbol. Comput. 3(1/2), 69–116 (1987)