1. Apt K.R., Bol R.N., Klop J.W., On the safe termination of prolog programs, Proc. ICLP'89, MIT Press, (1989).
2. Apt K.R., Pedreschi D., Studies in Pure Prolog: Termination, Proc. Symp. on Computational Logic, LNCS (1990).
3. Baudinet M., Proving Termination Properties of Prolog Programs: A Semantic Approach, Proc. IEEE Symp. on Logic in Computer Science, pp. 336–347 (1988).
4. Bezem M., Characterizing Termination of Logic Programs, Proc. NACLP'89, pp. 69–80 (1989).
5. Berge C., Graphs and Hypergraphs, North-Holland Mathematical Library, North-Holland, 1973.