Disunification: a survey," in Computational Logic: Essays in Honor of Alan Robinson (1991)

by H Comon