Operational Semantics and Confluence of Constraint Propagation Rules (1997)

by S Abdennadher
Venue:In Proc of the third International Conference on Principles and Practice of Constraint Programming. LNCS