Jurgen J. Vinju. Optimizations of List Matching in the ASF+SDF Compiler. Master's thesis, Universiteit van Amsterdam, nov 1999.
This thesis describes several optimizations of the run-time behavior of list matching and list construction in the ASF+SDF run-time. The basic semantics of lists in ASF+SDF is based on a persistent data-structure called ATerms that employs maximal sub-term sharing. This design is highly efficient for plain terms, but poses challenges for list manipulation.