Parallel Term Rewriting with PaReDuX (1998)

by R Bündgen, M Göbel, W Küchlin, A Weber
Venue:in Bibel, Schmitt (eds.): Automated Deduction–A Basis for Applications