Controlling Rewriting by Rewriting (0)

by P Borovansky, C Kirchner, H Kirchner
Venue:In Meseguer [27