@Article{SchulteTack:Constraints:2012,
Author = "Christian Schulte and Guido Tack",
Title = "View-based Propagator Derivation",
Journal = "Constraints",
Year = 2013,
Month = jan,
Publisher = "Springer-Verlag",
Volume = "18",
Number = "1",
Pages = "75--107",
DOI = "10.1007/s10601-012-9133-z",
URL = "https://chschulte.github.io/papers/schultetack-constraints-2012.html"
}