Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dt4UO (Verlagsversion)
Graf, P. (1995). Substitution Tree Indexing. In J. Hsiang (Ed.), Rewriting Techniques and Applications (pp. 117-131). Heidelberg, Germany: Springer.