Decidable and undecidable second-order unification problem (1998)

by J Levy
Venue:Proc. 9th International Conference on Rewriting Techniques and Applications, LNCS 1379