Categorical Aspects of Unification and Rewriting (1992)

by J G Stell