1 results
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 10 February 2009, pp. 165-212
-
- Article
- Export citation