@InProceedings{NethercoteStuckeyEa:CP:2007,
   Author =    "Nicholas Nethercote and Peter J. Stuckey and Ralph Becket and Sebastian Brand and Gregory J. Duck and Guido Tack",
   Title =     "MiniZinc: Towards a Standard CP Modelling Language",
   Editor =    "Christian Bessière",
   Booktitle = "Thirteenth International Conference on Principles and Practice of Constraint Programming",
   Year =      2007,
   Month =     sep,
   Address =   "Providence, RI, USA",
   Publisher = "Springer-Verlag",
   Series =    "Lecture Notes in Computer Science",
   Volume =    "4741",
   Pages =     "529--543",
   URL =       "http://www.gecode.org/paper.html?id=NethercoteStuckeyEa:CP:2007"
}