Operational semantics and confluence ofconstraint propagation rules (1997)

by S Abdennadher
Venue:In Proc. of CP'97, volume 1330 of LNCS