@InProceedings{SchulteTack:TRICS:2010,
   Author =    "Christian Schulte and Guido Tack",
   Title =     "Implementing Efficient Propagation Control",
   Booktitle = "Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a conference workshop of CP 2010",
   Year =      2010,
   Month =     sep,
   Address =   "St Andrews, UK",
   URL =       "https://chschulte.github.io/papers/schultetack-trics-2010.html"
}