Rolf Backofen and 
   Ralf Treinen. How to Win a Game with Features.  In 
   J.-P. Jouannaud editor,  1st International Conference on Constraints in Computational Logics (CCL'94), September 7-9, Vol.  845:320-335 of Lecture Notes in Computer Science, Springer, München, Germany,   1994.        google  [Annote]
     |