@InProceedings{Backofen_Treinen:1994,
      AUTHOR = {Backofen, Rolf and Treinen, Ralf},
      TITLE = {How to Win a Game with Features},
      YEAR = {1994},
      BOOKTITLE = {1st International Conference on Constraints in Computational Logics (CCL'94), September 7-9},
      VOLUME = {845},
      PAGES = {320-335},
      EDITOR = {Jouannaud, J.-P.},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {München, Germany},
      PUBLISHER = {Springer},
      URL = {ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/FeatureGamesCCL94.dvi.Z ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/FeatureGamesCCL94.entry ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/FeatureGamesCCL94.ps.Z},
      ANNOTE = {COLIURL : Backofen:1994:HWG.pdf Backofen:1994:HWG.ps Backofen:1994:HWG.dvi}
}