María García de la (2004)

by Gregory J Duck, Peter J Stuckey
Venue:The Refined Operational Semantics of Constraint Handling Rules.” ICLP, Volume 3132 of LNCS