Parallel term rewriting with PaReDuX (1998)

by R Bündgen, M Göbel, W Küchlin, A Weber
Venue:Automated Deduction—A Basis for Applications, Volume II: Systems and Implementation Techniques, volume 9 of Applied Logic Series