Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics | Publicación