Regular Substitution Sets: a Means of Controlling E-Unification (1995)

by J Burghardt
Venue:Proceedings 6th Conference on Rewriting Techniques and Applications