Simplifying the signature in second-order unification (2009)

by J Levy, M Villaret
Venue:Appl. Algebra Eng. Commun. Comput