Conference Proceedings

The refined operational semantics of Constraint Handling Rules

GJ Duck, PJ Stuckey, MG de la Banda, C Holzbaur, B Demoen, V Lifschitz

Logic Prgramming, 20th International Conference, ICLP 2004 | SPRINGER-VERLAG BERLIN | Published : 2004