"Compiling High-Level Type Constructors in Constraint Programming."

Pierre Flener, Brahim Hnich, Zeynep Kiziltan (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics