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

by J Levy, M Schmidt-Schauß, M 2006a Villaret
Venue:In Proc. RTA-17. LNCS