A. Aggoun and N. Beldiceanu, Overview of the CHIP compiler system, Constraint Logic Programming: Selected Research, pp.421-437, 1993.

K. Apt, Logic Programming, pp.493-571, 1990.
DOI : 10.1016/B978-0-444-88074-1.50015-9

R. Backofen, J. Rogers, and K. Vijay-shanker, A first-order axiomatization of the theory of finite trees, Journal of Logic, Language and Information, vol.18, issue.4, pp.5-39, 1995.
DOI : 10.1007/BF01048403

J. Bos, Predicate logic unplugged, Proceedings of the 10th Amsterdam Colloquium, pp.133-143, 1996.

Y. Caseau and F. Laburthe, Introduction to the CLAIRE programming language, 1996.

T. Cornell, On determining the consistency of partial descriptions of trees, Proceedings of the 32nd annual meeting on Association for Computational Linguistics -, 1994.
DOI : 10.3115/981732.981755

M. Dincbas, P. Van-hentenryck, H. Simonis, A. Aggoun, T. Graf et al., The constraint logic programming language CHIP, Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88, pp.693-702, 1988.

D. Duchier, Axiomatizing dependency parsing using set constraints, Sixth Meeting on Mathematics of Language, 1999.

D. Duchier and C. Gardent, A constraint-based treatment of descriptions, Proceedings of IWCS-3, 1999.

D. Duchier, C. Gardent, and J. Niehren, Concurrent constraint programming in Oz for natural language processing. Lecture notes, 1999.

D. Duchier and J. Niehren, Dominance Constraints with Set Operators, Proceedings of the First International Conference on Computational Logic (CL2000), 2000.
DOI : 10.1007/3-540-44957-4_22
URL : https://hal.archives-ouvertes.fr/inria-00536806

D. Duchier and S. Thater, Parsing with tree descriptions: a constraintbased approach, Sixth International Workshop on Natural Language Understanding and Logic Programming (NLULP'99), pp.17-32, 1999.

M. Egg, J. Niehren, P. Ruhrberg, and F. Xu, Constraints over Lambda-Structures in Semantic Underspecification, Proceedings COL- ING/ACL'98, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00536807

M. Egg, A. Koller, and J. Niehren, The constraint language for lambda structures, Journal Submission, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00536795

C. Gardent and B. Webber, Describing discourse semantics, Proceedings of the 4th TAG+ Workshop, 1998.

J. Groenendijk and M. Stokhof, Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991.
DOI : 10.1007/BF00628304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.2292

J. Jaffar and J. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987.
DOI : 10.1145/41625.41635

S. Janson and S. Haridi, Programming paradigms of the Andorra Kernel Language, Proceedings of the 1991 International Symposium on Logic Programming, pp.167-186, 1991.

H. Kamp and U. Reyle, From Discourse to Logic, 1993.

A. Koller, K. Mehlhorn, and J. Niehren, A polynomial-time fragment of dominance constraints, Proceedings of the 38th Annual Meeting on Association for Computational Linguistics , ACL '00, 2000.
DOI : 10.3115/1075218.1075265
URL : https://hal.archives-ouvertes.fr/inria-00536809

A. Koller and J. Niehren, Scope underspecification and processing . Lecture Notes, ESSLLI 99, 1999.

A. Koller and J. Niehren, On underspecified processing of dynamic semantics, Proceedings of the 18th conference on Computational linguistics -, 2000.
DOI : 10.3115/990820.990887
URL : https://hal.archives-ouvertes.fr/inria-00536810

A. Koller, J. Niehren, and R. Treinen, Dominance Constraints: Algorithms and Complexity, Proceedings of the Third Conference on Logical Aspects of Computational Linguistics, 1998.
DOI : 10.1007/3-540-45738-0_7
URL : https://hal.archives-ouvertes.fr/inria-00536812

M. P. Marcus, D. Hindle, and M. M. Fleck, D-theory, Proceedings of the 21st annual meeting on Association for Computational Linguistics -, pp.129-136, 1983.
DOI : 10.3115/981311.981337

K. Marriott and P. J. Stuckey, Programming with Constraints, 1998.

J. T. Maxwell and R. Kaplan, A Method for Disjunctive Constraint Satisfaction, Current Issues in Parsing Technology, pp.173-190, 1991.
DOI : 10.1007/978-1-4615-3986-5_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.2539

M. Consortium, The Mozart Programming System web pages, 1999.

R. Muskens, Order-Independence and Underspecification, editor, Ellipsis, Underspecification, Events and More in Dynamic Semantics, 1995.

O. Rambow, K. Vijay-shanker, and D. Weir, D-tree grammars, Proceedings of the 33rd annual meeting on Association for Computational Linguistics -, 1995.
DOI : 10.3115/981658.981679

U. Reyle, Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction, Journal of Semantics, vol.10, issue.2, pp.123-179, 1993.
DOI : 10.1093/jos/10.2.123

V. A. Saraswat and M. Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.232-245, 1990.
DOI : 10.1145/96709.96733

V. A. Saraswat, M. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991.
DOI : 10.1145/99583.99627

C. Schulte, Programming Deep Concurrent Constraint Combinators, Practical Aspects of Declarative Languages, pp.215-229, 2000.
DOI : 10.1007/3-540-46584-7_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.6514

G. Smolka, The Oz Programming Model, Computer Science Today, Lecture Notes in Computer Science, vol.1000, pp.324-343, 1995.
DOI : 10.1007/BFb0015252

G. Smolka, Concurrent constraint programming based on functional programming, editor, Programming Languages and Systems Lecture Notes in Computer Science, vol.1381, pp.1-11, 1998.
DOI : 10.1007/BFb0053559

L. Tesnire, Elments de syntaxe structurale, 1959.

K. Van-deemter and S. Peters, Semantic Ambiguity and Underspecification, 1996.

K. Vijay-shanker, Using descriptions of trees in a tree adjoining grammar, Computational Linguistics, vol.18, pp.481-518, 1992.