H. Alshawi and R. Crouch, Monotonic semantic interpretation, Proceedings of the 30th annual meeting on Association for Computational Linguistics -, pp.32-39, 1992.
DOI : 10.3115/981967.981972

M. Bodirsky, K. Erk, A. Koller, and J. Niehren, Beta Reduction Constraints, Proceedings of the 12th Intl. Conference on Rewriting Techniques and Applications, 2001.
DOI : 10.1007/3-540-45127-7_5
URL : https://hal.archives-ouvertes.fr/inria-00536804

M. Bodirsky, K. Erk, A. Koller, and J. Niehren, Underspecified beta reduction, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, 2001.
DOI : 10.3115/1073012.1073023
URL : https://hal.archives-ouvertes.fr/inria-00536805

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

R. Crouch, Ellipsis and quantification, Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics -, pp.229-236, 1995.
DOI : 10.3115/976973.977006

M. Dalrymple, S. Shieber, and F. Pereira, Ellipsis and higher-order unification, Linguistics and Philosophy, vol.8, issue.1, pp.399-452, 1991.
DOI : 10.1007/BF00630923

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

M. Egg, Reinterpretation from a synchronic and diachronic point of view'. Linguistics, 2001.

K. Erk and J. Niehren, Parallelism Constraints, Proceedings of the 11th Intl. Conference on Rewriting Techniques and Applications, 2000.
DOI : 10.1007/10721975_8
URL : https://hal.archives-ouvertes.fr/inria-00536808

R. Fiengo and R. May, Indices and Identity, 1994.

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

M. Gawron and S. Peters, Anaphora and Quantification in Situation Semantics, No. 19 in CSLI Lecture Notes, 1990.

P. Hirschbühler, VP deletion and across the board quantifier scope, 1982.

J. Jaspars and A. Koller, A Calculus for Direct Deduction with Dominance Constraints'. In: Proceedings of the Twelfth Amsterdam Colloquium, 1999.

A. Kehler, A discourse copying algorithm for ellipsis and anaphora resolution, Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics -, 1993.
DOI : 10.3115/976744.976769

A. Kehler, Interpreting Cohesive Forms in the Context of Discourse Inference, 1995.

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, Constraint Programming in Computational Linguistics, Logic Unleashed: Language, Diagrams, and Computation. Proceedings of the 8th CSLI Workshop on Logic, Language, and Computation, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00536829

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

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

J. Niehren and A. Koller, Dominance Constraints in Context Unification, Proceedings of the Third Conference on Logical Aspects of Computational Linguistics (LACL '98), 2001.
DOI : 10.1007/3-540-45738-0_12
URL : https://hal.archives-ouvertes.fr/inria-00536820

J. Niehren, M. Pinkal, and P. Ruhrberg, On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting'. In: Proceedings 14th CADE. Townsville, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00536822

J. Niehren, M. Pinkal, and P. Ruhrberg, A Uniform Approach to Underspecification and Parallelism, Proceedings ACL'97, pp.410-417, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00536821

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

I. A. Sag, Deletion and Logical Form, 1980.

M. Schmidt-schauß and K. Schulz, On the exponent of periodicity of minimal solutions of context equations, Proceedings of the 9th Intl. Conference on Rewriting Techniques and Applications, 1998.
DOI : 10.1007/BFb0052361

S. Shieber, F. Pereira, and M. Dalrymple, Interactions of scope and ellipsis, Linguistics and Philosophy, vol.8, issue.1, pp.527-552, 1996.
DOI : 10.1007/BF00632780

K. Vijay-shanker, Using Descriptions of Trees in a Tree Adjoining Grammar', Computational Linguistics, vol.18, pp.481-518, 1992.

F. Xu, Underspecified Treatment of Verb Phrase Ellipsis, Proceedings of the Third ESSLLI Student Session, pp.269-280, 1998.