@InProceedings{tag7,
  author =       {Ralph Debusmann and Denys Duchier and Marco Kuhlmann and Stefan Thater},
  title =        {TAG Parsing as Model Enumeration},
  booktitle =    {Proceedings of the TAG+7 Workshop},
  year =         2004,
  address =      {Vancouver/CAN},
  authorURLs =   {http://www.ps.uni-sb.de/~rade/ and http://www.loria.fr/~duchier/ and http://www.ps.uni-sb.de/~kuhlmann and http://www.coli.uni-sb.de/~stth},
  abstract = {This paper introduces well-ordered derivation trees and
  makes use of this concept in a novel axiomatization of the TAG
  parsing problem as a constraint satisfaction problem.  Contrary to
  prior approaches, our axiomatization focuses on the derivation trees
  rather than the derived trees. Well-ordered derivation trees are our
  primary models, whereas the derived trees serve solely to determine
  word order.}
}