Disunification: a survey (1991)

by H Comon
Venue:Computational Logic: Essays in Honor of Alan