Conference Proceedings

Observable confluence for constraint handling rules

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

Logic Programming - 23rd International Conference, ICLP 2007 | SPRINGER-VERLAG BERLIN | Published : 2007