page 1  (23 pages)
2to next section

PARIS RESEARCH LABORATORY

digital

June 1991

12

Gert Smolka

Residuation and Guarded Rules

for Constraint Logic Programming