A Fast Algorithm for Uniform Semi-Unification.

Alberto Oliart, Wayne Snyder

Browse the full CADE paper archive.