Internal Strategies in a Rewriting Implementation of Tile Systems (1998)

by R Bruni, J Meseguer, U Montanari
Venue:Claude Kirchner and Helene Kirchner Editors, International Workshop on Rewriting Logic and its Applications, ENTCS