Designing unification procedures using transformations: A survey (1990)

by J H Gallier, W Snyder
Venue:Bulletin of the EATCS