Operational Semantics and Con of Constraint Propagation Rules (1997)

by S Abdennadher
Venue:3rd Intl Conf on Principles and Practice of Constraint Programming (CP'97