Complete sets of transformations for general E-unification (1989)

by Jean H Gallier, Wayne Snyder
Venue:Theoretical Computer Science