1. Apt K.R., Pedreschi D., Studies in Pure Prolog: Termination, in Proceedings Symposium on Computational Logic, J. W. Lloyd Ed., Basic Research Series 1, Springer-Verlag (1990), 150–176.
2. Apt K.R., Introduction to Logic Programming, in Handbook of Theoretical Computer Science, J. van Leeuwen Ed., Elsevier Science Publishers 1990.
3. Apt K.R., Pedreschi D., Proving Termination of General Prolog Programs. Technical Report, CWI, Amsterdam, 1991.
4. M. Baudinet. Proving termination properties of PROLOG Programs. In Proceedings of the 3rd Annual Symposium on Logic in Computer Science (LICS), Edinburgh, Scotland (1988), 336–347.
5. Bezem M., Characterizing Termination of Logic Programs, in Proceedings NACLP'89, E. L. Lusk, R. A. Overbeek, Eds., The MIT Press (1989), 69–80.