@TechReport{Gardent_et_al:1998,
      AUTHOR = {Gardent, Claire and Kohlhase, Michael and Konrad, Karsten},
      TITLE = {Higher-Order Coloured Unification: a linguistic application},
      YEAR = {1998},
      MONTH = {November},
      NUMBER = {101},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/people/claire/tsi.ps.gz},
      ABSTRACT = {During the last decade, Higher-Order unification (HOU) has become a popular tool for constructing the semantic representation of natural language expressions. But there is a well-known problem with this approach: it over-generates that is, it produces solutions which although they are mathematically valid, are linguistically incorrect because they do not represent possible meanings of the expression being analysed. In this paper, we argue that Higher-Order Colored Unification (HOCU) can help prevent over-generation and we describe the linguistic, logical and computational aspects of an HOCU--based approach to semantic construction.},
      ANNOTE = {COLIURL : Gardent:1998:HOC.pdf Gardent:1998:HOC.ps}
}