presented at event 4TH INTERNATIONAL CONF ON REWRITING TECHNIQUES AND APPLICATIONS ( RTA-91 ) Conference