Operational semantics and con of constraint propagation rules (1997)

by S Abdennadher
Venue:In Third International Conference on Principles and Practice of Constraint Programming, CP'97, LNCS 1330