Raffaele Cipriano, Agostino Dovier, Jacopo Mauro: Compiling and Executing Declarative Modeling Languages to Gecode. ICLP 2008: 744-748