Residuation and Guarded Rules for Constraint Logic Programming (0)

by G Smolka
Venue:In Frédéric Benhamou and Alain Colmerauer, editors, Constraint Logic Programming