Seol mar théacs é seo: Constraint processing : selected papers / Manfred Meyer, ed.