Substitution tree indexing (1995)

by Peter Graf
Venue:In RTA ’95: Proc. of the 6th International Conference on Rewriting Techniques and Applications