E. Althaus, D. Duchier, A. Koller, K. Mehlhorn, J. Niehren et al., An efficient graph algorithm for dominance constraints, Journal of Algorithms, vol.48, issue.1, 2002.
DOI : 10.1016/S0196-6774(03)00050-6
URL : https://hal.archives-ouvertes.fr/inria-00536539

J. Bos, Predicate logic unplugged, Proc. of the 10th Amsterdam Colloquium, 1996.

H. Comon, Completion of rewrite systems with membership constraints, Proc. of ICALP '92, 1992.
DOI : 10.1007/3-540-55719-9_91

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
URL : http://arxiv.org/abs/cmp-lg/9503008

M. Egg, A. Koller, and J. Niehren, The Constraint Language for Lambda Structures, Journal of Logic, Language and Information, vol.10, issue.4, pp.457-485, 2001.
DOI : 10.1023/A:1017964622902
URL : https://hal.archives-ouvertes.fr/inria-00536795

K. Erk and A. Koller, VP ellipsis by tree surgery, Proc. of the 13th Amsterdam Colloquium, 2001.

K. Erk, A. Koller, and J. Niehren, Processing underspecified semantic representations in the Constraint Language for Lambda Structures, Journal of Language and Computation, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00536796

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

D. Hardt, Verb Phrase Ellipsis: Form, Meaning, and Processing, 1993.

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

A. Koller, J. Niehren, and R. Treinen, Dominance Constraints: Algorithms and Complexity, Proc. of LACL'01, 2001.
DOI : 10.1007/3-540-45738-0_7
URL : https://hal.archives-ouvertes.fr/inria-00536812

S. Lappin and H. Shih, A generalized reconstruction algorithm for ellipsis resolution, Proceedings of the 16th conference on Computational linguistics -, 1996.
DOI : 10.3115/993268.993288

G. S. Makanin, THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP, Mathematics of the USSR-Sbornik, vol.32, issue.2, pp.147-236, 1977.
DOI : 10.1070/SM1977v032n02ABEH002376

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

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

I. Sag, Deletion and logical form, 1976.

E. Williams, Discourse and logical form, Linguistic Inquiry, vol.8, issue.1, pp.101-139, 1977.