Seol mar théacs é seo: Conditional Constraint Satisfaction: Logical Foundations and Complexity