Monadic second-order unification is NP-complete (2004)

by Jordi Levy , Manfred Schmidt-schauß , Mateu Villaret
Venue:In RTA’04, volume 3091 of LNCS
Citations:7 - 5 self