Average Case Analysis of Unification Algorithms.

Luc Albert, Rafael Casas, Franois Fages, A. Torrecillas, Paul Zimmermann

Browse the full STACS paper archive.