Parallel ReDuX → PaReDuX (1995)

by R Bündgen, M Göbel, W Küchlin
Venue:In Rewriting Techniques and Applications (LNCS 914