Book Chapter
Constraint Logic Programming
Marco Gavanelli and Francesca Rossi
Lecture Notes in Computer Science, 2010, Volume 6125, A 25-Year Perspective on Logic Programming, Pages 64-86
Book Chapter
Constraint Logic Programming
Mark Wallace
Lecture Notes in Computer Science, 2002, Volume 2407, Computational Logic: Logic Programming and Beyond, Pages 35-64
Book Chapter
A logical denotational semantics for constraint logic programming
Alessandra Di Pierro and Catuscia Palamidessi
Lecture Notes in Computer Science, 1994, Volume 788, Programming Languages and Systems — ESOP '94, Pages 195-210
Book Chapter
Constraint handling rules
Thom Frühwirth
Lecture Notes in Computer Science, 1995, Volume 910, Constraint Programming: Basics and Trends, Pages 90-107
Book Chapter
Constraint Logic Programming
An informal introduction
Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost and Pierre Lim, et al.
Lecture Notes in Computer Science, 1992, Volume 636, Logic Programming in Action, Pages 3-35
Book Chapter
Propagation Completeness of Reactive Constraints
Michael J. Maher
Lecture Notes in Computer Science, 2002, Volume 2401, Logic Programming, Pages 148-163
Book Chapter
Using Oz for college timetabling
Martin Henz and Jörg Würtz
Lecture Notes in Computer Science, 1996, Volume 1153, Practice and Theory of Automated Timetabling, Pages 162-177
Book Chapter
Constraint retraction in FD
Philippe Codognet, Daniel Diaz and Francesca Rossi
Lecture Notes in Computer Science, 1996, Volume 1180, Foundations of Software Technology and Theoretical Computer Science, Pages 168-179
Book Chapter
Design, implementation, and evaluation of the constraint language cc(FD)
Pascal Van Hentenryck, Vijay Saraswat and Yves Deville
Lecture Notes in Computer Science, 1995, Volume 910, Constraint Programming: Basics and Trends, Pages 293-316
Book Chapter
Application development with the CHIP system
Helmut Simonis
Lecture Notes in Computer Science, 1996, Volume 1034, Constraint Databases and Application, Pages 1-21