@Misc{SchulteTackLagerkvist:MPG:2010,
   Author =    "Christian Schulte and Guido Tack and Mikael Z. Lagerkvist",
   Title =     "Modeling and Programming with Gecode",
   Year =      2010,
   URL =       "http://www.gecode.org/doc-latest/MPG.pdf"
}