411 | -- | 416 | Markus Egg, Manfred Pinkal, James Pustejovsky. Editorial |
417 | -- | 455 | Reinhard Muskens. Talking about Trees and Truth-Conditions |
457 | -- | 485 | Markus Egg, Alexander Koller, Joachim Niehren. The Constraint Language for Lambda Structures |
487 | -- | 509 | Claire Gardent, Bonnie L. Webber. Towards the Use of Automated Reasoning in Discourse Disambiguation |
511 | -- | 518 | Katharina Hartmann, Thomas Ede Zimmermann. Introduction to Natural Language Semantics, Henriëtte de Swart |
518 | -- | 523 | Maarten de Rijke. Handbook of Tableau Methods, Marcello D Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds |