@TechReport{Gardent_Webber:2000,
      AUTHOR = {Gardent, Claire and Webber, Bonnie},
      TITLE = {Automated Reasoning and Discourse Disambiguation},
      YEAR = {2000},
      MONTH = {January},
      NUMBER = {113},
      PAGES = {24},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus113.ps},
      ABSTRACT = {The performance of first-order automated reasoning systems has been steadily improving, stimulated in part by the availability of test suites of mathematical problems on which the systems can be tested, tuned and compared. But discourse understanding in Natural Language poses different inference problems than mathematics. In order to tailor automated reasoning systems to the needs of Natural Language understanding, similar test suites need to be developed. In this paper, we claim that several kinds of ambiguity in discourse can be resolved through automated reasoning checks for consistency, informativity and minimality. Future test suites should therefore include problems of these sorts. The overall goal then is to characterise the range of inference problems that discourse understanding gives rise to and that test suites should include.},
      ANNOTE = {COLIURL : Gardent:2000:ARD.pdf Gardent:2000:ARD.ps}
}