Avraham Shinnar, Jérôme Siméon, Martin Hirzel. A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). DARTS, 1(1), 2015. [doi]
@article{ShinnarSH15-0, title = {A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)}, author = {Avraham Shinnar and Jérôme Siméon and Martin Hirzel}, year = {2015}, url = {http://drops.dagstuhl.de/opus/volltexte/2015/5517}, researchr = {https://researchr.org/publication/ShinnarSH15-0}, cites = {0}, citedby = {0}, journal = {DARTS}, volume = {1}, number = {1}, }