Thom W. Frühwirth Alexander Herold Volker Küchenhoff Thierry Le Provost Pierre Lim Eric Monfroy Mark Wallace Contraint Logic Programming - An Informal Introduction. 3-35 1992 conf/lpss/1992 Logic Programming Summer School db/conf/lpss/lpss92.html#FruhwirthHKPLMW92