@TechReport{Gardent_Konrad:1999,
      AUTHOR = {Gardent, Claire and Konrad, Karsten},
      TITLE = {Definites or the proper treatment of rabbits},
      YEAR = {1999},
      MONTH = {June},
      NUMBER = {111},
      PAGES = {12},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus111.ps},
      ABSTRACT = {We argue that model generation programs, i.e., deduction systems that automatically compute the interpretations satisfying a given formula, can provide a procedural interpretation for semantic theories of natural language. We illustrate this claim by describing how the higher-order model generator kimba interprets definite descriptions.},
      ANNOTE = {COLIURL : Gardent:1999:DPT.pdf Gardent:1999:DPT.ps}
}