A fast algorithm for uniform semi-unification (1998)

by A Oliart, W Snyder
Venue:In Proc. CADE ’98, LNCS 1421