\begin{thebibliography}{10}

\bibitem{Borning81}
A.~Borning.
\newblock {The Programming Language Aspects of ThingLab, a Constraint-Oriented
  Simulation Laboratory}.
\newblock {\em ACM Transaction on Programming Languages and Systems},
  3(4):353--387, 1981.

\bibitem{Carlier78}
J.~Carlier.
\newblock {Ordonnacement a contraintes disjunctives.}
\newblock {\em RAIRO },  12:333--351, 1978.

\bibitem{Dincbas88c}
M.~Dincbas, H.~Simonis, and P.~Van~Hentenryck.
\newblock {Solving the Car Sequencing Problem in Constraint Logic Programming}.
\newblock In {\em European Conference on Artificial Intelligence (ECAI-88)},
  Munich, W. Germany, August 1988.

\bibitem{Dincbas90}
M.~Dincbas, H.~Simonis, and P.~Van~Hentenryck.
\newblock {Solving Large Combinatorial Problems in Logic Programming}.
\newblock {\em Journal of Logic Programming}, 8(1-2):75--93, 1990.

\bibitem{Dincbas88f}
M.~Dincbas, P.~Van~Hentenryck, H.~Simonis, A.~Aggoun, T.~Graf, and F.~Berthier.
\newblock {The Constraint Logic Programming Language CHIP}.
\newblock In {\em {Proceedings of the International Conference on Fifth
  Generation Computer Systems}}, Tokyo, Japan, December 1988.

\bibitem{Fikes68}
R.E. Fikes.
\newblock {\em {A Heuristic Program for Solving Problems Stated as
  Non-deterministic Procedures}}.
\newblock PhD thesis, Comput. Sci. Dept., Carnegie-Mellon Univ. Pittsburgh, PA,
  1968.

\bibitem{Forgy82}
C.L. Forgy.
\newblock {Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern
  Match Problem}.
\newblock {\em Artificial Intelligence}, 19:17--37, 1982.

\bibitem{lattices}
G.Gierz, K.H.Hoffman, K.Keimel, J.D.Lawson, M.Mislove, and D.S.Scott, editors.
\newblock {\em A compendium of continuous lattices}.
\newblock Springer-Verlag Berlin Heidelberg New York, 1980.

\bibitem{Graf90}
T.~Graf, P.~Van~Hentenryck, C.~Pradelles, and L.~Zimmer.
\newblock {Simulation of Hybrid Circuits in Constraint Logic Programming}.
\newblock {\em Computers and Mathematics with Applications}, 20(9/10):45--56,
  1990.


\bibitem{lassez-const}
J.~Jaffar and J-L. Lassez.
\newblock {Constraint Logic Programming}.
\newblock In {\em {POPL-87}}, Munich, FRG, January 1987.

\bibitem{angelic-nondet}
R.~Jagadeesan, V.~Shanbhogue, and V.~Saraswat.
\newblock Angelic non-determinism in concurrent constraint programming.
\newblock Technical report, System Sciences Laboratory, Xerox PARC, January
  1991.

\bibitem{Lauriere78}
J-L. Lauriere.
\newblock {A Language and a Program for Stating and Solving Combinatorial
  Problems}.
\newblock {\em Artificial Intelligence}, 10(1):29--127, 1978.

\bibitem{cc-logic}
Patrick Lincoln and Vijay Saraswat.
\newblock {P}roofs as {C}oncurrent {P}rocesses: {A} {L}ogical {I}nterpretation
  for {C}oncurrent {C}onstraint {P}rogramming.
\newblock Technical report, Systems Sciences Laboratory, Xerox PARC, November
  1991.


\bibitem{Mackworth77}
Alan. K. Mackworth.
\newblock {Consistency in Networks of Relations}.
\newblock {\em AI Journal}, 8(1):99--118, 1977.

\bibitem{mackworth}
Alan. K. Mackworth.
\newblock {Constraint Satisfaction}.
\newblock {\em Handbook of AI}, 205--211, 1988.



\bibitem{Mohr86}
R.~Mohr and T.C. Henderson.
\newblock {Arc and Path Consistency Revisited}.
\newblock {\em Artificial Intelligence}, 28:225--233, 1986.

\bibitem{Saraswat89}
V.A. Saraswat.
\newblock {\em {Concurrent Constraint Programming Languages}}.
\newblock PhD thesis, Carnegie-Mellon University, 1989.

\bibitem{Saraswat90a}
V.A. Saraswat and M.~Rinard.
\newblock {Concurrent Constraint Programming}.
\newblock In {\em {Proceedings of Seventeenth ACM Symposium on Principles of
  Programming Languages}}, San Francisco, CA, January 1990.

\bibitem{Saraswat91a}
V.A. Saraswat, M.~Rinard, and P.~Panangaden.
\newblock {Semantic Foundations of Concurrent Constraint Programming}.
\newblock In {\em {Proceedings of Ninth ACM Symposium on Principles of
  Programming Languages}}, Orlando, FL, January 1991.

\bibitem{scott-SIAM}
Dana~S. Scott.
\newblock Data types as lattices.
\newblock {\em SIAM}, 5(3):522--587, 1976.

\bibitem{scott-info-sys}
Dana~S. Scott.
\newblock {Domains for denotational semantics}.
\newblock In {\em {Proceedings of ICALP}},
  1982.

\bibitem{Simonis89a}
H.~Simonis.
\newblock {Test Generation using the Constraint Logic Programming Language
  CHIP}.
\newblock In {\em {Sixth International Conference on Logic Programming}},
  Lisbon, Portugal, June 1989.

\bibitem{Simonis87b}
H.~Simonis and M.~Dincbas.
\newblock {Using an Extended Prolog for Digital Circuit Design}.
\newblock In {\em {IEEE International Workshop on AI Applications to CAD
  Systems for Electronics}}, pages 165--188, Munich, RFA, October 1987.

\bibitem{Simonis87a}
H.~Simonis and M.~Dincbas.
\newblock {Using Logic Programming for Fault Diagnosis in Digital Circuits}.
\newblock In {\em {German Workshop on Artificial Intelligence (GWAI-87)}},
  pages 139--148, Geseke, RFA, Septembre 1987.


\bibitem{tarski-closure}
A.~Tarski.
\newblock {\em Logics, semantics and meta-mathematics}.
\newblock Oxford University Press, 1956.
\newblock Translated by J.H. Woodger.

\bibitem{Vanhentenryck89a}
P.~Van~Hentenryck.
\newblock {\em {Constraint Satisfaction in Logic Programming}}.
\newblock Logic Programming Series, The MIT Press, Cambridge, MA, 1989.

\bibitem{plilp}
P.~Van~Hentenryck and Y.~Deville.
\newblock {Operational Semantics of Constraint Logic Programming over Finite
  Domains}.
\newblock In {\em {Third International Symposium on Programming Language
  Implementation and Logic Programming (PLILP-91)}}, Passau (Germany), August
  1991.

\bibitem{cardinality}
P.~Van~Hentenryck and Y.~Deville.
\newblock {The Cardinality Operator: A new Logical Connective and its
  Application to Constraint Logic Programming}.
\newblock In {\em {Eighth International Conference on Logic Programming
  (ICLP-91)}}, Paris (France), June 1991.

\bibitem{reportappli}
P.~Van~Hentenryck, H.~Simonis, and M.~Dincbas.
\newblock {Constraint Satisfaction Using Constraint Logic Programming}.
\newblock Technical Report (Forthcoming), Brown University, November 1991.

\bibitem{dhd-andorra}
D.H.D.~Warren.
\newblock {The Andorra Principle}.
\newblock Presented at the 1987 GigaLips workshop, U. of Bristol.


\end{thebibliography}

