Conference Proceedings

Observable confluence for constraint handling rules

Gregory J Duck, Peter J Stuckey, Martin Sulzmann, V Dahl, I Niemela

LOGIC PROGRAMMING, PROCEEDINGS | SPRINGER-VERLAG BERLIN | Published : 2007