@Article{SchulteTack:Constraints:2013,
   Author =    "Christian Schulte and Guido Tack",
   Title =     "View-based Propagator Derivation",
   Journal =   "Constraints",
   Year =      2013,
   Publisher = "Springer-Verlag",
   Volume =    "18",
   Number =    "1",
   Pages =     "75--107",
   URL =       "http://www.gecode.org/paper.html?id=SchulteTack:Constraints:2013"
}