Abstract interpretation for Constraint Handling Rules (2005)

by T Schrijvers, P J Stuckey, G J Duck
Venue:In PPDP ’05