Eugene C. Freuder Complexity of K-Tree Structured Constraint Satisfaction Problems. 4-9 1990 AAAI db/conf/aaai/aaai90.html#Freuder90