Residuation and Guarded Rules for Constraint Logic Programming.
Smolka, Gert.
PRL-RR-12 June 1991 External
Back to Index