Martin Sulzmann, Edmund S. L. Lam: Parallel execution of multi-set constraint rewrite rules. PPDP 2008: 20-31