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]
