Bibliography

[BB04]

Patrick Blackburn and Johan Bos. Representation and Inference for Natural Language. CSLI Press, 2004. Accepted for publication. See also \urlwww.comsem.org, \urlwww.blackburnbos.net, and \urlhttp://www.loria.fr/~blackbur/.

[BWKP03]

Aljoscha Burchardt, Stephan Walter, Alexander Koller, and Manfred Pinkal. The MiLCA Saarbrücken Project. \urlhttps://www.coli.uni-saarland.de/projects/milca/, 2003.

[BWP04]

Aljoscha Burchardt, Stephan Walter, and Manfred Pinkal. MiLCA - Distance Education for Computational Linguistics. Accepted for EDEN 2004 conference, Budapest, 2004.

[Duc]

Denys Duchier. Oz Documentation DTD. \urlhttp://www.mozart-oz.org/documentation/ozdoc/index.html.

[EKN01]

Markus Egg, Alexander Koller, and Joachim Niehren. The constraint language for lambda structures. Journal of Logic, Language, and Information, 10:457-485, 2001.

[Fit96]

Melvin Fitting. First-Order Logic and Automated Theorem Proving. Second Edition. Springer, 1996.

[FKNT04]

Ruth Fuchss, Alexander Koller, Joachim Niehren, and Stefan Thater. Minimal recursion semantics as dominance constraints: Translation, evaluation, and analysis. In Proceedings of the 42nd ACL, Barcelona, 2004.

[Gam91]

L. T. F. Gamut. Logic, Language, and Meaning, volume 1: Introduction to Logic. The University of Chicago Press: Chicago, London, 1991.

[Gri75]

H. P. Grice. Logic and conversation. In P. Cole and J. L. Morgan, editors, Syntax and Semantics: Vol. 3: Speech Acts, pages 41-58. Academic Press, San Diego, CA, 1975.

[Kel88]

W. R. Keller. Nested cooper storage: The proper treatment of quantification in ordinary noun phrases. In U. Reyle and C. Rohrer, editors, Natural Language Parsing and Linguistic Theories, pages 432-447. Reidel, Dordrecht, 1988.

[Mon74]

Richard Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven, CT, 1974.