@TechReport{Saurer:1994,
      AUTHOR = {Saurer, Werner},
      TITLE = {A Note on Anaphora and Inference},
      YEAR = {1994},
      MONTH = {October},
      NUMBER = {46},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      ABSTRACT = {There are cases of anaphoric relations that even dynamic semantic theories such as Discourse Representation Theory (DRT) have difficulties with in that they cannot provide for an appropriate antecedent for certain occurrences of pronouns. Some people think this shows that those theories are not dynamic enough and have suggested various remedies such as accommodation. In this paper I show how inference can provide for the missing antecedent in those problem cases even within the framework of existing dynamic theories. A natural deduction system working directly with Discourse Representation Structures is used to accomplish this.}
}