Mapping tile logic into rewriting logic.

José Meseguer Ugo Montanari Mapping tile logic into rewriting logic. 62-91 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#MeseguerM97