1: \begin{thebibliography}{}
2:
3: \bibitem[\protect\citeauthoryear{Clark}{Clark}{1987}]{clark:completion}
4: {\sc Clark, K.~L.} 1987.
5: \newblock {Negation as Failure}.
6: \newblock In {\em Logic and Databases}, {H.~Gallaire} {and} {J.~Minker}, Eds.
7: Plenum Press, New York, 293--322.
8:
9: \bibitem[\protect\citeauthoryear{Codish, Demoen, and Sagonas}{Codish
10: et~al\mbox{.}}{1998}]{bart:abstract_interpretation}
11: {\sc Codish, M.}, {\sc Demoen, B.}, {\sc and} {\sc Sagonas, K.} 1998.
12: \newblock {Semantic-based Program Analysis for Logic-based Languages Using
13: XSB}.
14: \newblock {\em International Journal of Software Tools for Technology
15: Transfer\/}~{\em 2,\/}~1 (Jan.), 29--45.
16:
17: \bibitem[\protect\citeauthoryear{Cui}{Cui}{2000}]{bao:thesis}
18: {\sc Cui, B.} 2000.
19: \newblock {A System for Tabled Constraint Logic Programming}.
20: \newblock Ph.D. thesis, State University of New York at Stony Brook.
21:
22: \bibitem[\protect\citeauthoryear{Cui and Warren}{Cui and
23: Warren}{2000a}]{bao:tclp}
24: {\sc Cui, B.} {\sc and} {\sc Warren, D.~S.} 2000a.
25: \newblock {A System for Tabled Constraint Logic Programming}.
26: \newblock In {\em CL 2000: Proceedings of the 1st International Conference on
27: Computational Logic}, {J.~W. Lloyd}, {V.~Dahl}, {U.~Furbach}, {M.~Kerber},
28: {K.-K. Lau}, {C.~Palamidessi}, {L.~M. Pereira}, {Y.~Sagiv}, {and} {P.~J.
29: Stuckey}, Eds. Lecture Notes in Computer Science, vol. 1861. Springer Verlag,
30: London, UK, 478--492.
31:
32: \bibitem[\protect\citeauthoryear{Cui and Warren}{Cui and
33: Warren}{2000b}]{bao:attvars}
34: {\sc Cui, B.} {\sc and} {\sc Warren, D.~S.} 2000b.
35: \newblock {Attributed Variables in XSB}.
36: \newblock In {\em Electronic Notes in Theoretical Computer Science}, {I.~Dutra}
37: {et~al\mbox{.}}, Eds. Vol.~30. Elsevier, 67--80.
38:
39: \bibitem[\protect\citeauthoryear{Demoen}{Demoen}{2004}]{hprolog}
40: {\sc Demoen, B.} 2004.
41: \newblock {hProlog}.
42: \newblock http://www.cs.kuleuven.be/\~{}bmd/hProlog/.
43:
44: \bibitem[\protect\citeauthoryear{Du, Ramakrishnan, and Smolka}{Du
45: et~al\mbox{.}}{2000}]{mcrt}
46: {\sc Du, X.}, {\sc Ramakrishnan, C.~R.}, {\sc and} {\sc Smolka, S.~A.} 2000.
47: \newblock {Tabled Resolution + Constraints: A Recipe for Model Checking
48: Real-Time Systems}.
49: \newblock In {\em IEEE Real Time Systems Symposium}. Orlando, Florida,
50: 175--184.
51:
52: \bibitem[\protect\citeauthoryear{Duck, {Garc\'{\i}a de la Banda}, and
53: Stuckey}{Duck et~al\mbox{.}}{2004}]{duck:ask}
54: {\sc Duck, G.~J.}, {\sc {Garc\'{\i}a de la Banda}, M.}, {\sc and} {\sc Stuckey,
55: P.~J.} 2004.
56: \newblock {Compiling Ask Constraints}.
57: \newblock In {\em ICLP'04: {P}roceedings of the 20th {I}nternational
58: {C}onference on {L}ogic {P}rogramming}. Lecture Notes in Computer Science,
59: vol. 3132. Springer Verlag, St-Malo, France, 105--119.
60:
61: \bibitem[\protect\citeauthoryear{Duck, Stuckey, {Garc\'{\i}a de la Banda}, and
62: Holzbaur}{Duck et~al\mbox{.}}{2004}]{duck:refined}
63: {\sc Duck, G.~J.}, {\sc Stuckey, P.~J.}, {\sc {Garc\'{\i}a de la Banda}, M.},
64: {\sc and} {\sc Holzbaur, C.} 2004.
65: \newblock {The Refined Operational Semantics of Constraint Handling Rules}.
66: \newblock In {\em ICLP'04: {P}roceedings of the 20th {I}nternational
67: {C}onference on {L}ogic {P}rogramming}. Lecture Notes in Computer Science,
68: vol. 3132. Springer Verlag, St-Malo, France, 90--104.
69:
70: \bibitem[\protect\citeauthoryear{Fr{\"u}hwirth}{Fr{\"u}hwirth}{1998}]{thom:mai%
71: n}
72: {\sc Fr{\"u}hwirth, T.} 1998.
73: \newblock Theory and practice of constraint handling rules.
74: \newblock {\em Journal of {Logic} {Programming}\/}~{\em 37,\/}~1--3 (October),
75: 95--138.
76:
77: \bibitem[\protect\citeauthoryear{Fr{\"u}hwirth and Abdennadher}{Fr{\"u}hwirth
78: and Abdennadher}{2003}]{thom:book}
79: {\sc Fr{\"u}hwirth, T.} {\sc and} {\sc Abdennadher, S.} 2003.
80: \newblock {\em {Essentials of Constraint Programming}}.
81: \newblock Cognitive Technologies. Springer Verlag.
82:
83: \bibitem[\protect\citeauthoryear{Guo and Gupta}{Guo and
84: Gupta}{2004}]{gupta:dynamic_programming}
85: {\sc Guo, H.-F.} {\sc and} {\sc Gupta, G.} 2004.
86: \newblock {Simplifying Dynamic Programming via Tabling}.
87: \newblock In {\em Proc. Sixth International Symposium on Practical Aspects of
88: Declarative Languages}, {P.~V. Hentenryck}, Ed. Lecture Notes in Computer
89: Science, vol. 3819. Springer Verlag, 163--177.
90:
91: \bibitem[\protect\citeauthoryear{Holzbaur}{Holzbaur}{1992}]{christian:attvars}
92: {\sc Holzbaur, C.} 1992.
93: \newblock {Metastructures vs. Attributed Variables in the Context of Extensible
94: Unification}.
95: \newblock Tech. Rep. TR-92-23, Austrian Research Institute for Artificial
96: Intelligence, Vienna, Austria.
97:
98: \bibitem[\protect\citeauthoryear{Holzbaur and Fr{\"u}hwirth}{Holzbaur and
99: Fr{\"u}hwirth}{2000}]{christian:system}
100: {\sc Holzbaur, C.} {\sc and} {\sc Fr{\"u}hwirth, T.} 2000.
101: \newblock {A Prolog Constraint Handling Rules Compiler and Runtime System}.
102: \newblock {\em Special Issue Journal of Applied Artificial Intelligence on
103: Constraint Handling Rules\/}~{\em 14,\/}~4 (April), 369--388.
104:
105: \bibitem[\protect\citeauthoryear{Jaffar and Lassez}{Jaffar and
106: Lassez}{1987}]{jaffar:fixpoint}
107: {\sc Jaffar, J.} {\sc and} {\sc Lassez, J.-L.} 1987.
108: \newblock {Constraint Logic Programming}.
109: \newblock In {\em POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN
110: symposium on Principles of programming languages}. ACM Press, New York, NY,
111: USA, 111--119.
112:
113: \bibitem[\protect\citeauthoryear{Jaffar and Maher}{Jaffar and
114: Maher}{1994}]{jaffar:clp}
115: {\sc Jaffar, J.} {\sc and} {\sc Maher, M.~J.} 1994.
116: \newblock {Constraint Logic Programming: A Survey}.
117: \newblock {\em Journal of Logic Programming\/}~{\em 19/20}, 503--581.
118:
119: \bibitem[\protect\citeauthoryear{Kanellakis, Kuper, and Revesz}{Kanellakis
120: et~al\mbox{.}}{1995}]{kanellakis:cql}
121: {\sc Kanellakis, P.~C.}, {\sc Kuper, G.~M.}, {\sc and} {\sc Revesz, P.~Z.}
122: 1995.
123: \newblock {Constraint query languages}.
124: \newblock In {\em Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART
125: symposium on Principles of database systems}. Academic Press, Inc., Orlando,
126: FL, USA, 26--52.
127:
128: \bibitem[\protect\citeauthoryear{Marriott and Stuckey}{Marriott and
129: Stuckey}{1998}]{stuckey:clp}
130: {\sc Marriott, K.} {\sc and} {\sc Stuckey, P.~J.} 1998.
131: \newblock {\em {Programming with Constraints: an Introduction}}.
132: \newblock {MIT Press}.
133:
134: \bibitem[\protect\citeauthoryear{Mukund, Ramakrishnan, Ramakrishnan, and
135: Verma}{Mukund et~al\mbox{.}}{2000}]{mcrtpre}
136: {\sc Mukund, M.}, {\sc Ramakrishnan, C.~R.}, {\sc Ramakrishnan, I.~V.}, {\sc
137: and} {\sc Verma, R.} 2000.
138: \newblock {Symbolic Bisimulation using Tabled Constraint Logic Programming}.
139: \newblock In {\em International Workshop on Tabulation in Parsing and
140: Deduction}. Vigo, Spain, 1--9.
141:
142: \bibitem[\protect\citeauthoryear{Pemmasani, Ramakrishnan, and
143: Ramakrishnan}{Pemmasani et~al\mbox{.}}{2002}]{giri}
144: {\sc Pemmasani, G.}, {\sc Ramakrishnan, C.~R.}, {\sc and} {\sc Ramakrishnan,
145: I.~V.} 2002.
146: \newblock {Efficient Model Checking of Real Time Systems Using Tabled Logic
147: Programming and Constraints}.
148: \newblock In {\em International Conference on Logic Programming}. Lecture Notes
149: in Computer Science. Springer, Copenhagen, Denmark, 405--410.
150:
151: \bibitem[\protect\citeauthoryear{Rao, Ramakrishnan, and Ramakrishnan}{Rao
152: et~al\mbox{.}}{1996}]{xsb:subsumption}
153: {\sc Rao, P.}, {\sc Ramakrishnan, C.~R.}, {\sc and} {\sc Ramakrishnan, I.~V.}
154: 1996.
155: \newblock {A Thread in Time Saves Tabling Time}.
156: \newblock In {\em Joint International Conference and Symposium on Logic
157: Programming}. 112--126.
158:
159: \bibitem[\protect\citeauthoryear{Saraswat and Rinard}{Saraswat and
160: Rinard}{1990}]{saraswat:ccp}
161: {\sc Saraswat, V.~A.} {\sc and} {\sc Rinard, M.} 1990.
162: \newblock Concurrent constraint programming.
163: \newblock In {\em POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT
164: symposium on Principles of programming languages}. ACM Press, New York, NY,
165: USA, 232--245.
166:
167: \bibitem[\protect\citeauthoryear{Sarna-Starosta and
168: Ramakrishnan}{Sarna-Starosta and Ramakrishnan}{2003}]{beata:efa}
169: {\sc Sarna-Starosta, B.} {\sc and} {\sc Ramakrishnan, C.~R.} 2003.
170: \newblock {Constraint-Based Model Checking of Data-Independent Systems}.
171: \newblock In {\em 5th International Conference on Formal Engineering Methods,
172: ICFEM 2003}, {J.~S. Dong} {and} {J.~Woodcock}, Eds. Lecture Notes in Computer
173: Science, vol. 2885. Springer-Verlag, 579--598.
174:
175: \bibitem[\protect\citeauthoryear{Sarna-Starosta and
176: Ramakrishnan}{Sarna-Starosta and Ramakrishnan}{2007}]{beata}
177: {\sc Sarna-Starosta, B.} {\sc and} {\sc Ramakrishnan, C.~R.} 2007.
178: \newblock {Compiling Constraint Handling Rules for Efficient Tabled
179: Evaluation}.
180: \newblock In {\em PADL'07: Ninth International Symposium on Practical Aspects
181: of Declarative Languages}, {M.~Hanus}, Ed. Lecture Notes in Computer Science.
182: Springer Verlag, 170--184.
183:
184: \bibitem[\protect\citeauthoryear{Schrijvers}{Schrijvers}{2005}]{tom:phd}
185: {\sc Schrijvers, T.} 2005.
186: \newblock {Analyses, Optimizations and Extensions of Constraint Handling
187: Rules}.
188: \newblock Ph.D. thesis, Department of Computer Science, K.U.Leuven, Leuven,
189: Belgium.
190:
191: \bibitem[\protect\citeauthoryear{Schrijvers and Demoen}{Schrijvers and
192: Demoen}{2004}]{tom:kulchr}
193: {\sc Schrijvers, T.} {\sc and} {\sc Demoen, B.} 2004.
194: \newblock {T}he {K}.{U}.{L}euven {CHR} system: {I}mplementation and
195: application.
196: \newblock In {\em {First Workshop on Constraint Handling Rules: Selected
197: Contributions}}, {T.~Fr{\"{u}}hwirth} {and} {M.~Meister}, Eds. Ulm, Germany,
198: 1--5.
199:
200: \bibitem[\protect\citeauthoryear{Schrijvers, Demoen, Duck, Stuckey, and
201: Fr{\"{u}}hwirth}{Schrijvers et~al\mbox{.}}{2006}]{tom:implication:rule2005}
202: {\sc Schrijvers, T.}, {\sc Demoen, B.}, {\sc Duck, G.}, {\sc Stuckey, P.}, {\sc
203: and} {\sc Fr{\"{u}}hwirth, T.} 2006.
204: \newblock {Automatic Implication Checking for {CHR} Constraints}.
205: \newblock In {\em Electronic Notes in Theoretical Computer Science}. Vol. 147.
206: 93--111.
207:
208: \bibitem[\protect\citeauthoryear{Schrijvers and Fr{\"u}hwirth}{Schrijvers and
209: Fr{\"u}hwirth}{2006}]{tom:unionfind:pearl}
210: {\sc Schrijvers, T.} {\sc and} {\sc Fr{\"u}hwirth, T.} 2006.
211: \newblock {Optimal Union-Find in Constraint Handling Rules}.
212: \newblock {\em Theory and Practice of Logic Programming\/}~{\em 6,\/}~1\&2,
213: 213--224.
214:
215: \bibitem[\protect\citeauthoryear{Schrijvers and Warren}{Schrijvers and
216: Warren}{2004}]{tom:xsb:iclp2004}
217: {\sc Schrijvers, T.} {\sc and} {\sc Warren, D.~S.} 2004.
218: \newblock {C}onstraint handling rules and tabled execution.
219: \newblock In {\em ICLP'04: {P}roceedings of the 20th {I}nternational
220: {C}onference on {L}ogic {P}rogramming}, {B.~Demoen} {and} {V.~Lifschitz},
221: Eds. Lecture Notes in Computer Science, vol. 3132. Springer Verlag, St-Malo,
222: France, 120--136.
223:
224: \bibitem[\protect\citeauthoryear{Schrijvers, Warren, and Demoen}{Schrijvers
225: et~al\mbox{.}}{2003}]{tom:xsb:ciclops2003}
226: {\sc Schrijvers, T.}, {\sc Warren, D.~S.}, {\sc and} {\sc Demoen, B.} 2003.
227: \newblock {CHR} for {XSB}.
228: \newblock In {\em {CICLOPS} 2003: {P}roceedings of the {C}olloquium on
229: {I}mplementation of {C}onstraint and {LO}gic {P}rogramming {S}ystems},
230: {R.~Lopes} {and} {M.~Ferreira}, Eds. University of Porto, Mumbai, India,
231: 7--20.
232:
233: \bibitem[\protect\citeauthoryear{Toman}{Toman}{1996}]{toman:wfs}
234: {\sc Toman, D.} 1996.
235: \newblock {Computing the Well-founded Semantics for Constraint Extensions of
236: Datalog}.
237: \newblock In {\em Proceedings of CP'96 Workshop on Constraint Databases}.
238: Number 1191 in Lecture Notes in Computer Science. Cambridge, MA, USA, 64--79.
239:
240: \bibitem[\protect\citeauthoryear{Toman}{Toman}{1997a}]{toman:analysis}
241: {\sc Toman, D.} 1997a.
242: \newblock {Constraint Databases and Program Analysis Using Abstract
243: Interpretation}.
244: \newblock In {\em Constraint Databases and Their Applications, Second
245: International Workshop on Constraint Database Systems (CDB '97)}, {V.~Gaede},
246: {A.~Brodsky}, {O.~G{\"{u}}nther}, {D.~Srivastava}, {V.~Vianu}, {and}
247: {M.~Wallace}, Eds. Lecture Notes in Computer Science, vol. 1191. Springer
248: Verlag, 246--262.
249:
250: \bibitem[\protect\citeauthoryear{Toman}{Toman}{1997b}]{toman:memo}
251: {\sc Toman, D.} 1997b.
252: \newblock {Memoing Evaluation for Constraint Extensions of Datalog}.
253: \newblock {\em {Constraints: An International Journal, Special Issue on
254: Constraints and Databases}\/}~{\em 2,\/}~3/4 (December), 337--359.
255:
256: \bibitem[\protect\citeauthoryear{Warren et~al\mbox{.}}{Warren
257: et~al\mbox{.}}{2005}]{xsb}
258: {\sc Warren, D.~S.} {\sc et~al\mbox{.}} 2005.
259: \newblock {The XSB Programmer's Manual: version 2.7, vols. 1 and 2}.
260: \newblock http://xsb.sf.net.
261:
262: \bibitem[\protect\citeauthoryear{Wielemaker}{Wielemaker}{2004}]{swiprolog}
263: {\sc Wielemaker, J.} 2004.
264: \newblock {SWI-Prolog release 5.4.0}.
265: \newblock http://www.swi-prolog.org/.
266:
267: \bibitem[\protect\citeauthoryear{Wolper}{Wolper}{1986}]{wolper86}
268: {\sc Wolper, P.} 1986.
269: \newblock Expressing interesting properties of programs in propositional
270: temporal logic.
271: \newblock In {\em POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN
272: symposium on Principles of programming languages}. ACM Press, New York, NY,
273: USA, 184--193.
274:
275: \end{thebibliography}
276: