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
URL : http://acl.ldc.upenn.edu/P/P92/P92-1005.pdf

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, pp.194-219, 2003.
DOI : 10.1016/S0196-6774(03)00050-6
URL : https://hal.archives-ouvertes.fr/inria-00536539

M. Bodirsky, D. Duchier, J. Niehren, and S. Miele, An efficient algorithm for weakly normal dominance constraints, ACM-SIAM Symposium on Discrete Algorithms, 2004.

A. Copestake and D. Flickinger, An open-source grammar development environment and broad-coverage english grammar using HPSG, Conference on Language Resources and Evaluation, 2000.

A. Copestake, A. Lascarides, and D. Flickinger, An algebra for semantic construction in constraint-based grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.132-139, 2001.
DOI : 10.3115/1073012.1073031

A. Copestake, D. Flickinger, C. Pollard, and I. Sag, Minimal Recursion Semantics: An Introduction, Research on Language and Computation, vol.19, issue.1, 2004.
DOI : 10.1007/s11168-006-6327-9

A. Copestake, Implementing Typed Feature Structure Grammars, 2002.

M. Egg, A. Koller, and J. Niehren, The Constraint Language for Lambda Structures, Logic, Language, and Information, pp.457-485, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00536795

K. Mehlhorn and S. Näher, The LEDA Platform of Combinatorial and Geometric Computing, 1999.

J. Niehren and S. Thater, Bridging the gap between underspecification formalisms, Proceedings of the 41st Annual Meeting on Association for Computational Linguistics , ACL '03, 2003.
DOI : 10.3115/1075096.1075143
URL : https://hal.archives-ouvertes.fr/inria-00536542

S. Oepen, K. Toutanova, S. Shieber, C. Manning, D. Flickinger et al., The LinGO Redwoods treebank motivation and preliminary applications, Proceedings of the 19th international conference on Computational linguistics -, pp.1253-1257, 2002.
DOI : 10.3115/1071884.1071909

M. Pinkal, Radical underspecification, 10th Amsterdam Colloquium, pp.587-606, 1996.