Matching of compressed patterns with character-variables. (2012)

by M Schmidt-Schauß
Venue:In Proceedings of the 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, number 15 of LIPIcs,