Mapping tile logic into rewriting logic (1998)

by J Meseguer, U Montanari
Venue:In Proc. WADT'97