Michael Bertol Volker Diekert On Efficient Reduction Algorithms for Some Trace Rewriting Systems. 114-126 1993 conf/ac/1993tr Term Rewriting db/conf/ac/tr1993.html#BertolD93 http://dx.doi.org/10.1007/3-540-59340-3_9