@Book{Schulte:LNAI:2002,
Author = "Christian Schulte",
Title = "Programming Constraint Services",
Publisher = "Springer-Verlag",
Series = "Lecture Notes in Artificial Intelligence",
Volume = "2302",
Year = 2002,
URL = "https://link.springer.com/book/10.1007/3-540-45945-6"
}