A general complete E-uni cation procedure (1987)

by J H Gallier, W Snyder
Venue:Proc. of the Second International Conference onRewriting Techniques and Applications