Simple second-order languages for which unification is undecidable (1991)

by William M Farmer
Venue:Theor. Comput. Sci