Seol mar théacs é seo: Quantified constraints: Algorithms and complexity