H. Alshawi and D. Crouch, Monotonic semantic interpretation, Proceedings of the 30th annual meeting on Association for Computational Linguistics -, pp.32-38, 1992.
DOI : 10.3115/981967.981972
URL : http://acl.ldc.upenn.edu/P/P92/P92-1005.pdf

N. Asher, Reference to abstract objects in discourse, 1993.
DOI : 10.1007/978-94-011-1715-9

F. Baader and J. Siekmann, Uniication theory, Handbook of Logic in Artiicial Intelligence and Logic Programming, 1993.

J. Bos, C. Bjj-orn-gambb-ack, Y. Lieske, M. Mori, K. Pinkal et al., Compositional semantics in Verbmobil, Proceedings of the 16th conference on Computational linguistics -, pp.131-136, 1996.
DOI : 10.3115/992628.992654

H. Comon, Completion of rewrite systems with membership constraints, Proc. 19th Int. Coll. on Automata, Languages and Programming, 1992.
DOI : 10.1007/3-540-55719-9_91

A. Copestake and E. J. Briscoe, Semi-productive Polysemy and Sense Extension, Journal of Semantics, vol.12, issue.1, pp.15-67, 1995.
DOI : 10.1093/jos/12.1.15

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

D. Dowty, R. Wall, and S. Peters, Introduction to Montague semantics Semantic underspeciication and modiier attachment ambiguities, Integrative Ansaetze in der Computerlinguistik. Duesseldorf, pp.19-24, 1981.

C. Gardent and M. Kohlhase, Focus and higher{order uniication, Proceedings of COLING-96, 1996.

C. Gardent, M. Kohlhase, and N. Van-leusen, Corrections and Higher-Order Uniication, Proceedings of KONVENS-96. De Gruyter, pp.268-279, 1996.

W. D. Goldfarb, The undecidability of the second-order unification problem, Theoretical Computer Science, vol.13, issue.2, pp.225-230, 1981.
DOI : 10.1016/0304-3975(81)90040-2

P. Hirschbuehler, Vp deletion and across the board quantiier scope, 1982.

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

L. Evy and J. , Linear second order uniication, Proceedings of the Conference on Rewriting Techniques and Applications, 1996.

G. S. Makanin, The problem of solvability of equations in a free semigroup. Soviet Akad, Nauk SSSR, vol.223, issue.2, 1977.

R. Montague, The proper treatment of quantiication in ordinary english, Formal Philosophy. Selected Papers of Richard Montague, pp.247-271, 1974.

J. Niehren, M. Pinkal, and P. Ruhrberg, On equality up-to constraints over nite trees, context uniication and one-step rewriting, Proceedings of the 14th International Conference on Automated Deduction. A complete verison is available from http, 1997.

J. Pustejovsky, Lexicon, Generative, 1995.
DOI : 10.1016/B0-08-044854-2/01971-4

U. Reyle, Dealing with ambiguities by underspeciication: construction, representation, and deduction Co-indexing labelled DRSs to represent and reason with ambiguities, Semantic Ambiguity and Underspeciication, 1993.

M. Schmidt-schauu, Uniication of stratiied second-order terms, J. W. Goethe Universitt at, 1994.

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