@Article{SchulteStuckey:TOPLAS:2008,
   Author =    "Christian Schulte and Peter J. Stuckey",
   Title =     "Efficient Constraint Propagation Engines",
   Journal =   "Transactions on Programming Languages and Systems",
   Year =      2008,
   Month =     dec,
   Publisher = "ACM Press",
   Volume =    "31",
   Number =    "1",
   Pages =     "2:1--2:43",
   URL =       "http://www.gecode.org/paper.html?id=SchulteStuckey:TOPLAS:2008"
}