Bounded second-order unification is NP-complete (2006)

by J Levy, M Schmidt-Schauß, M Villaret
Venue:In Proc. RTA-17, volume 4098 of LNCS