Rolf__Backofen
Constraint techniques for solving the protein structure prediction problem
Excluding symmetries in constraint-based search
How to win a game with features
On the decidability of functional uncertainty
Regular path expressions in feature logic