A Rewrite Approach for Constraint Logic Programming.

Gilles Richard, Frdric Saubion

Browse the full LATIN paper archive.