Parallel ReDuX → PaReDuX (1995)

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