Designing uni cation procedures using transformations: A survey (1992)

by J H Gallier, W Snyder
Venue:Logic from Computer Science,volume 21 of Mathematical Sciences Research Institute Publications