7 papers:
PPDP-2013-AntoyJ #question- Are needed redexes really needed? (SA, AJ), pp. 61–71.
PEPM-2004-OchoaSV #slicing- Dynamic slicing based on redex trails (CO, JS, GV), pp. 123–134.
FLOPS-1998-Nedjah #equation #source code- Postponing Redex Contractions in Equational Programs (NN), pp. 40–60.
IFL-1997-SparudR #functional- Complete and Partial Redex Trails of Functional Computations (JS, CR), pp. 160–177.
- PLILP-1997-SparudR #functional #lazy evaluation #using
- Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.
RTA-1993-Bundgen- Reduce the Redex → ReDuX (RB), pp. 446–450.
- RTA-1991-FarmerW #graph grammar
- Redex Capturing in Term Graph Rewriting (Concise Version) (WMF, RJW), pp. 13–24.
