@Proceedings{Schulte:CP:2013, Editor = "Christian Schulte", Booktitle = "Principles and Practice of Constraint Programming - CP 2013", Publisher = "Springer-Verlag", Series = "Lecture Notes in Computer Science", Volume = "8124", Year = 2013, URL = "http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-40626-3" }