@Misc{SchulteStuckey:CCoR:2006,
   Author =    "Christian Schulte and Peter J. Stuckey",
   Title =     "Efficient Constraint Propagation Engines",
   Year =      2006,
   Month =     oct,
   URL =       "http://arxiv.org/abs/cs.AI/0611009"
}