Martin Sulzmann Edmund S. L. Lam Parallel execution of multi-set constraint rewrite rules. 20-31 2008 PPDP http://doi.acm.org/10.1145/1389449.1389453 conf/ppdp/2008 db/conf/ppdp/ppdp2008.html#SulzmannL08