Decidable and undecidable second-order unification problems (1998)

by J Levy
Venue:Rewriting Techniques and Applications