@Article{SchulteStuckey:TOPLAS:2008,
Author = "Christian Schulte and Peter J. Stuckey",
Title = "Efficient Constraint Propagation Engines",
Journal = "Transactions on Programming Languages and Systems",
Year = 2008,
Month = dec,
Publisher = "ACM Press",
Volume = "31",
Number = "1",
Pages = "2:1--2:43",
DOI = "10.1145/1452044.1452046",
URL = "https://chschulte.github.io/papers/schultestuckey-toplas-2008.html"
}