"A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and ..."

Avraham Shinnar, Jérôme Siméon, Martin Hirzel (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics