From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited Guy A. Narboni OriginalPaper Pages: 313 - 335
A Methodological View of Constraint Solving Hubert ComonMehmet DincbasClaude Kirchner OriginalPaper Pages: 337 - 361
Algorithmic Power from Declarative Use of Redundant Constraints M. H. van Emden OriginalPaper Pages: 363 - 381
An Application of CLP: Checking the Correctness of Theorems in Geometry Denis BouhineauLaurent TrillingJacques Cohen OriginalPaper Pages: 383 - 405