1. Lect Notes Comput Sci;G. Aguzzi,1993
2. K. R. Apt. From Logic Programming to Prolog. Prentice-Hall Int. Series in Computer Science. Prentice Hall, 1997.
3. Lect Notes Comput Sci;K. R. Apt,1993
4. K. R. Apt and D. Pedreschi. Studies in Pure Prolog: Termination. In J. W. Lloyd, editor, Proc. Esprit Symp. on Logic, pages 150–176. Springer Verlag, 1990.
5. T. Arts. Automatically proving termination and innermost normalisation of term rewriting systems. PhD thesis, Universiteit Utrecht, 1997.