@InProceedings{SchulteTack:CP:2014,
   Author =    "Christian Schulte and Guido Tack",
   Title =     "View-based Propagator Derivation",
   Editor =    "Barry O'Sullivan",
   Booktitle = "Twentieth International Conference on Principles and Practice of Constraint Programming",
   Year =      2014,
   Month =     sep,
   Address =   "Lyon, France",
   Publisher = "Springer-Verlag",
   Series =    "Lecture Notes in Computer Science",
   Volume =    "8656",
   Pages =     "938--942",
   DOI =       "10.1007/978-3-319-10428-7_71",
   URL =       "https://chschulte.github.io/papers/schultetack-cp-2014.html"
}