@InProceedings{Duchier:2000,
      AUTHOR = {Duchier, Denys},
      TITLE = {A Model-Eliminative Treatment of Quantifier-Free Tree Descriptions},
      YEAR = {2000},
      BOOKTITLE = {Algebraic Methods in Language Processing (AMILP '00). 16th Twente Workshop on Language Technology (TWLT 16) and 2nd AMAST Workshop, May 20-22},
      PAGES = {55-66},
      EDITOR = {Heylen, D. and Nijholt, Anton and Scollo, G.},
      ADDRESS = {Iowa City, Iowa, USA},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/duchier-amilp.ps.gz},
      ABSTRACT = {Tree descriptions are widely used in computational linguistics for talking and reasoning about trees. For practical applications, it is essential to be able to decide satisfiability and enumerate solutions efficiently. This challenge cannot realistically be met by brute force enumeration. However it can be addressed very effectively by constraint propagation as provided by modern constraint technology. Previously, we studied the conjunctive fragment of tree descriptions and showed how the problem of finding minimal models of a conjunctive tree description could be transformed into a constraint satisfaction problem (CSP) on finite set variables. In this paper, we extend our account to the fragment that admits both negation and disjunction, but still leaves out quantification. Again we provide a reduction to a CSP. While our previous encoding introduced the reader to set constraints and disjunctive propagators, we now extend our arsenal with selection propagators.},
      ANNOTE = {COLIURL : Duchier:2000:MET.pdf Duchier:2000:MET.ps}
}