1: \begin{thebibliography}{xx}
2:
3: \harvarditem[Apt]{Apt}{1990}{Apt90}
4: Apt, K.~R. (1990).
5: \newblock Introduction to {L}ogic {P}rogramming, {\em in} J.~van Leeuwen (ed.),
6: {\em Handbook of Theoretical Computer Science}, Vol. B: Formal Models and
7: Semantics, Elsevier, Amsterdam and The MIT Press, Cambridge, pp.~495--574.
8:
9: \harvarditem[Apt]{Apt}{1997}{Apt97}
10: Apt, K.~R. (1997).
11: \newblock {\em From Logic Programming to Prolog}, Prentice Hall.
12:
13: \harvarditem[Apt and Etalle]{Apt and Etalle}{1993}{AE93}
14: Apt, K.~R. and Etalle, S. (1993).
15: \newblock On the unification free {P}rolog programs, {\em in} A.~Borzyszkowski
16: and S.~Sokolowski (eds), {\em Proceedings of the Conference on Mathematical
17: Foundations of Computer Science (MFCS 93)}, Vol. 711 of {\em Lecture Notes in
18: Computer Science}, Springer-Verlag, pp.~1--19.
19:
20: \harvarditem[Apt and Luitjes]{Apt and Luitjes}{1995}{AL95}
21: Apt, K.~R. and Luitjes, I. (1995).
22: \newblock Verification of logic programs with delay declarations, {\em in}
23: A.~Borzyszkowski and S.~Sokolowski (eds), {\em Proceedings of the Fourth
24: International Conference on Algebraic Methodology and Software Technology,
25: (AMAST'95)}, Vol. 936 of {\em Lecture Notes in Computer Science},
26: Springer-Verlag, pp.~1--19.
27:
28: \harvarditem[Apt and Pedreschi]{Apt and Pedreschi}{1993}{AP93}
29: Apt, K.~R. and Pedreschi, D. (1993).
30: \newblock Reasoning about termination of pure {P}rolog programs, {\em
31: Information and Computation} {\bf 106}(1):~109--157.
32:
33: \harvarditem[Apt and Pedreschi]{Apt and Pedreschi}{1994}{AP94}
34: Apt, K.~R. and Pedreschi, D. (1994).
35: \newblock Modular termination proofs for logic and pure {P}rolog programs, {\em
36: in} G.~Levi (ed.), {\em Advances in Logic Programming Theory}, Oxford
37: University Press, pp.~183--229.
38:
39: \harvarditem[Apt and Pellegrini]{Apt and Pellegrini}{1994}{AP94a}
40: Apt, K.~R. and Pellegrini, A. (1994).
41: \newblock On the occur-check free {P}rolog programs, {\em ACM Transactions on
42: Programming Languages and Systems} {\bf 16}(3):~687--726.
43:
44: \harvarditem[Bezem]{Bezem}{1993}{Bez93}
45: Bezem, M. (1993).
46: \newblock Strong termination of logic programs, {\em Journal of Logic
47: Programming} {\bf 15}(1\&2):~79--97.
48:
49: \harvarditem[Bronsard et al.]{Bronsard, Lakshman and Reddy}{1992}{BLR92}
50: Bronsard, F., Lakshman, T.~K. and Reddy, U.~S. (1992).
51: \newblock A framework of directionality for proving termination of logic
52: programs, {\em in} K.~R. Apt (ed.), {\em Proceedings of the Joint
53: International Conference and Symposium on Logic Programming}, MIT Press,
54: pp.~321--335.
55:
56: \harvarditem[Cavedon]{Cavedon}{1989}{Cav89}
57: Cavedon, L. (1989).
58: \newblock Continuity, consistency and completeness properties for logic
59: programs, {\em in} G.~Levi and M.~Martelli (eds), {\em Proceedings of the
60: Sixth International Conference on Logic Programming}, The MIT press,
61: pp.~571--584.
62:
63: \harvarditem[Clark]{Clark}{1978}{Cla78}
64: Clark, K.~L. (1978).
65: \newblock Negation as failure rule, {\em in} H.~Gallaire and G.~Minker (eds),
66: {\em Logic and Data Bases}, Plenum Press, pp.~293--322.
67:
68: \harvarditem[Codish and Demoen]{Codish and Demoen}{1995}{CD95}
69: Codish, M. and Demoen, B. (1995).
70: \newblock Analyzing logic programs using "prop"-ositional logic programs and a
71: magic wand, {\em Journal of Logic Programming} {\bf 25}(3):~249--274.
72:
73: \harvarditem[Codish and Taboch]{Codish and Taboch}{1999}{CT99}
74: Codish, M. and Taboch, C. (1999).
75: \newblock A semantic basis for the termination analysis of logic programs, {\em
76: Journal of Logic Programming} {\bf 41}(1):~103--123.
77:
78: \harvarditem[{De Schreye} et al.]{{De Schreye}, Verschaetse and
79: Bruynooghe}{1992}{DVB92}
80: {De Schreye}, D., Verschaetse, K. and Bruynooghe, M. (1992).
81: \newblock A {F}ramework for {A}nalyzing the {T}ermination of {D}efinite {L}ogic
82: programs with respect to {C}all {P}atterns, {\em in} I.~Staff (ed.), {\em
83: Proceedings of the International Conference on Fifth Generation Computer
84: Systems (FGCS'92), Tokio}, ICOT, pp.~481--488.
85:
86: \harvarditem[Debray]{Debray}{1989}{Deb89}
87: Debray, S.~K. (1989).
88: \newblock Static inference of modes and data dependencies in logic programs,
89: {\em ACM Transactions on Programming Languages and Systems} {\bf
90: 11}(3):~418--450.
91:
92: \harvarditem[Debray and Warren]{Debray and Warren}{1988}{DW88}
93: Debray, S.~K. and Warren, D.~S. (1988).
94: \newblock Automatic mode inference for logic programs, {\em Journal of Logic
95: Programming} {\bf 5}(3):~207--229.
96:
97: \harvarditem[Decorte et al.]{Decorte, {De Schreye} and
98: Vandecasteele}{1999}{DDV99}
99: Decorte, S., {De Schreye}, D. and Vandecasteele, H. (1999).
100: \newblock Constraint-based termination analysis of logic programs, {\em ACM
101: Transactions on Programming Languages and Systems} {\bf 21}(6):~1137--1195.
102:
103: \harvarditem[Dembi\'nski and Maluszy\'nski]{Dembi\'nski and
104: Maluszy\'nski}{1985}{DM85}
105: Dembi\'nski, P. and Maluszy\'nski, J. (1985).
106: \newblock {AND}-parallelism with intelligent backtracking for annotated logic
107: programs, {\em Proceedings of the International Symposium on Logic
108: Programming}, Boston, pp.~29--38.
109:
110: \harvarditem[Drabent]{Drabent}{1987}{Dra87}
111: Drabent, W. (1987).
112: \newblock Do logic programs resemble programs in conventional languages?, {\em
113: in} E.~Wada (ed.), {\em Proceedings International Symposium on Logic
114: Programming}, IEEE Computer Society, pp.~389--396.
115:
116: \harvarditem[Etalle et al.]{Etalle, Bossi and Cocco}{1999}{EBC99}
117: Etalle, S., Bossi, A. and Cocco, N. (1999).
118: \newblock Termination of well-moded programs, {\em Journal of Logic
119: Programming} {\bf 38}(2):~243--257.
120:
121: \harvarditem[Gabbrielli and Giacobazzi]{Gabbrielli and Giacobazzi}{1994}{GG94}
122: Gabbrielli, M. and Giacobazzi, R. (1994).
123: \newblock Goal independency and call patterns in the analysis of logic
124: programs, {\em Proceedings of the Ninth ACM Symposium on Applied Computing},
125: ACM Press, pp.~394--399.
126:
127: \harvarditem[Janssen and Bruynooghe]{Janssen and Bruynooghe}{1992}{JB92}
128: Janssen, G. and Bruynooghe, M. (1992).
129: \newblock Deriving descriptions of possible values of program variables by
130: means of abstract interpretation, {\em Journal of Logic Programming} {\bf
131: 13}(2--3):~205--258.
132:
133: \harvarditem[Lloyd]{Lloyd}{1987}{Llo87}
134: Lloyd, J.~W. (1987).
135: \newblock {\em Foundations of {L}ogic {P}rogramming}, Symbolic Computation --
136: Artificial Intelligence, Springer-Verlag.
137: \newblock Second edition.
138:
139: \harvarditem[Marchiori]{Marchiori}{1996}{Mar96}
140: Marchiori, E. (1996).
141: \newblock Practical methods for proving termination of general logic programs,
142: {\em Journal of Artificial Intelligence Research} {\bf 4}:~179--208.
143:
144: \harvarditem[Pedreschi and Ruggieri]{Pedreschi and Ruggieri}{1996}{PR96}
145: Pedreschi, D. and Ruggieri, S. (1996).
146: \newblock Modular verification of {L}ogic {P}rograms, {\em in} F.~de~Boer and
147: M.~Gabbrielli (eds), {\em Proceedings of the W2 Post-Conference Workshop of
148: the 1996 JLCSLP,Bonn, Germany}.
149: \newblock http://www.di.unipi.it/$\sim$gabbri/w2.html.
150:
151: \harvarditem[Pedreschi and Ruggieri]{Pedreschi and Ruggieri}{1999}{PR99}
152: Pedreschi, D. and Ruggieri, S. (1999).
153: \newblock Verification of {L}ogic {P}rograms, {\em Journal of Logic
154: Programming} {\bf 39}(1--3):~125--176.
155:
156: \harvarditem[Rosenblueth]{Rosenblueth}{1991}{Ros91}
157: Rosenblueth, D. (1991).
158: \newblock Using program transformation to obtain methods for eliminating
159: backtracking in fixed-mode logic programs, {\em Technical Report~7},
160: Universidad Nacional Autonoma de Mexico, Instituto de Investigaciones en
161: Matematicas Aplicadas y en Sistemas.
162:
163: \harvarditem[Speirs et al.]{Speirs, Somogyi and S{\o}ndergaard.}{1997}{SSS97}
164: Speirs, C., Somogyi, Z. and S{\o}ndergaard., H. (1997).
165: \newblock Termination analysis for {M}ercury, {\em in} P.~V. Hentenryck (ed.),
166: {\em Proceedings of the Fourth International Static Analysis Symposium,
167: (SAS'97)}, Vol. 1302 of {\em Lecture Notes in Computer Science},
168: Springer-Verlag, pp.~157--171.
169:
170: \harvarditem[Sterling and Shapiro]{Sterling and Shapiro}{1986}{SS86}
171: Sterling, L. and Shapiro, E. (1986).
172: \newblock {\em The Art of Prolog}, The MIT Press.
173:
174: \harvarditem[Verbaeten et al.]{Verbaeten, Sagonas and {De
175: Schreye}}{1999}{VSD99}
176: Verbaeten, S., Sagonas, K.~F. and {De Schreye}, D. (1999).
177: \newblock Modular termination proofs for {P}rolog with tabling, {\em in}
178: G.~Nadathur (ed.), {\em Proceedings of International Conference on Principles
179: and Practice of Declarative Programming (PPDP'99)}, Vol. 1702 of {\em Lecture
180: Notes in Computer Science}, pp.~342--359.
181:
182: \harvarditem[Verbaeten et al.]{Verbaeten, Sagonas and {De
183: Schreye}}{2001}{VSD01}
184: Verbaeten, S., Sagonas, K.~F. and {De Schreye}, D. (2001).
185: \newblock Termination proofs for logic programs with tabling, {\em ACM
186: Transactions on Computational Logic} {\bf 2}(1):~57--92.
187:
188: \end{thebibliography}
189: