Reduce the redex -+ ReDuX (1993)

by R Btindgen
Venue:Rewriting Techniques and Applications (LNCS 690