Optimized Compilation of Multiset Rewriting with Comprehensions.

Edmund Soon Lee Lam, Iliano Cervesato

Browse the full APLAS paper archive.