Modular Multiset Rewriting.

Iliano Cervesato, Edmund S. L. Lam

Browse the full LPAR paper archive.