INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING

Constraint Logic Programming

Joxan Jaffar