Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Graf, P. (1995). Substitution Tree Indexing. In A., Bundy (Ed.), Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95) (pp. 117-131). Heidelberg, Germany: Springer.