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

by W M Farmer
Venue:Theoretical Computer Science, Vol