Martin Sulzmann, Edmund S. L. Lam
Parallel execution of multi-set constraint rewrite rules
PPDP, 2008.
@inproceedings{PPDP-2008-SulzmannL, author = "Martin Sulzmann and Edmund S. L. Lam", booktitle = "{Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1389449.1389453", isbn = "978-1-60558-117-0", pages = "20--31", publisher = "{ACM}", title = "{Parallel execution of multi-set constraint rewrite rules}", year = 2008, }