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, 10th Amsterdam Colloquium, pp.133-143, 1996.

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

D. Duchier and C. Gardent, A constraint-based treatment of descriptions, Proc. of the Third International Workshop on Computational Semantics, 1999.

D. Duchier and J. Niehren, Dominance Constraints with Set Operators, 2000.
DOI : 10.1007/3-540-44957-4_22
URL : https://hal.archives-ouvertes.fr/inria-00536806

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

K. Erk and J. Niehren, Parallelism Constraints, 2000.
DOI : 10.1007/10721975_8
URL : https://hal.archives-ouvertes.fr/inria-00536808

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

A. Koller, Evaluating context unification for semantic underspecification, Proc. Third ESSLLI Student Session, pp.188-199, 1998.

A. Koller, Constraint languages for semantic underspecification

A. Koller, J. Niehren, and K. Striegnitz, Relaxing underspecified semantic representations for reinterpretation, Proc. Sixth Meeting on Mathematics of Language, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00536811

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

J. Lévy, Linear second-order unification, 7th Int. Conference on Rewriting Techniques and Applications, pp.332-346, 1996.
DOI : 10.1007/3-540-61464-8_63

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

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

J. Niehren and A. Koller, Dominance Constraints in Context Unification, Proc. Third Conf. on Logical Aspects of Computational Linguistics, 1998.
DOI : 10.1007/3-540-45738-0_12
URL : https://hal.archives-ouvertes.fr/inria-00536820

J. Niehren, M. Pinkal, and P. Ruhrberg, A uniform approach to underspecification and parallelism, Proc. 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

M. Schmidt-schauß, Unification of stratified second-order terms, J. W. Goethe, 1999.

M. Schmidt-schauß and K. Schulz, On the exponent of periodicity of minimal solutions of context equations, RTA, 1998.
DOI : 10.1007/BFb0052361

K. N. Venkatamaran, Decidability of the purely existential fragment of the theory of term algebras, Journal of the ACM, vol.34, issue.2, pp.492-510, 1987.
DOI : 10.1145/23005.24037

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