Martin Sulzmann, Edmund S. L. Lam. Parallel execution of multi-set constraint rewrite rules. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 20-31, ACM, 2008. [doi]
Abstract is missing.